Обложка Болотов А.Е., Бочаров В.А., Горчаков А.Е. и др. Логика и компьютер. Вып.5: Пусть докажет компьютер
Id: 47021

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

2004. 208 с. ISBN 5-02-032859-6.
  • Твердый переплет

Аннотация

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