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

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

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

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

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

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

: : Цитата : :

Он никогда еще не стоял рядом с умирающим, но ему было известно, что это процесс, в ходе которого люди перестают функционировать, — непроизвольное и необратимое демонтирование.
Двухсотлетний человек
© Айзек Азимов

: :События: :

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

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

Автор → 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
Просмотров: 1092 |

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

Информация

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