КНИГИ НА РУССКОМ ЯЗЫКЕ


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

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

2004. 208 с. Твердый переплет. ISBN 5-02-032859-6.
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.

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