Логика и компьютер. Выпуск 5. Пусть докажет компьютер

Логика и компьютер. Выпуск 5. Пусть докажет компьютер
Год
 
Страниц
 
208
ISBN
 
5020328596
Издатель
 
Наука
Категория
 
Основы информатики, общие работы
Искать в интернет библиотекахКупить

Описание:

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

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

Вариационное исчисление и оптимальное управлениеВариационное исчисление и оптимальное управление
Автор: Ванько В.И., Ермошина О.В., Кувыркин Г.Н.
Год: 2006
Гладкие многообразия и наблюдаемыеГладкие многообразия и наблюдаемые
Автор: Джет Неструев
Год: 2000