Электронные книги

Жанры
Реклама
Последние комментарии
От партнёров
Облако тегов

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

Математическая логика и автоматическое доказательство теорем
Название: Математическая логика и автоматическое доказательство теорем
Автор: Чень Ч., Ли Р.
Издательство: Наука
Год: 1973
Формат: djvu
Размер: 8,6 mb (+3%)
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем «искусственного интеллекта». Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ. В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.

Нажмите для скачивания Chen_Ch.,_Li_R._-_Matlogika_i_avtomaticheskoye_dok-vo_teorem.rar!_avtomaticheskoye_dok-vo_teorem.rar
Размер: 8.73 Mb(cкачиваний: 3)



Похожие книги

Информация

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


  • Valid XHTML 1.0 Transitional