Математическая логика и автоматическое доказательство теорем

: : Разделы сайта : :

: : Популярное : :

: : Облако тегов : :

: : Немного рекламы : :

Обратная связьСвязь с администрацией

: : Цитата : :

Так что же всё-таки важнее, интересы правосудия и справедливости или человеческая жизнь? Нет ответа.
Имя потерпевшего - Никто
© Александра Маринина

: :События: :

Праздник или знаменательная дата отсутствует

: : Последние комментарии : :

Автор → poffigistka
в новости → 100 ловушек в личной жизни. Как их распознать и обойти

Автор → Mpak
в новости → Когда она ушла

Автор → oybekt
в новости → Когда она ушла

Автор → Mpak
в новости → Когда она ушла

Автор → poffigistka
в новости → Искусство быть эгоистом

Все комментарии

: : Опрос сайта : :

Произведения какого автора Вы читали больше

Показать все опросы

: : Топ пользователей сайта: :

1. Ник: oybekt - Медалей: 8
2. Ник: Mpak - Медалей: 6
3. Ник: magway - Медалей: 2
4. Ник: poffigistka - Медалей: 1

1. Ник: oybekt - Очков: 915
2. Ник: Mpak - Очков: 215
3. Ник: magway - Очков: 25
4. Ник: poffigistka - Очков: 10

: : Популярное за весь период: :

Математическая логика и автоматическое доказательство теорем

Автор: Ч.Чень, Р.Ли

Цикл: Математическая логика и основания математики -

Формат: djvu

Размер: 4,2 Мб

Язык: русский

Краткое описание:Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем «искусственного интеллекта». Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ

Теги:

Аудиокнига:

Автор: oybekt
Комментариев: 1
Просмотров: 969 |

Комментарии:

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.