КОД (ISBN):
5-02-032859-6
5-02-032859-6
Книга: Логика и компьютер. Выпуск 5. Пусть докажет компьютер
Товар № 10172304
Вып.5
Товар отсутствует |
Узнать о поступлении |
Книга посвящена рассмотрению проблемы автоматического поиска теорем для классической и интуиционистской логик. В ней предлагаются построенные авторами алгоритмы поиска доказательства для натуральных исчислений классической и интуиционистской логик высказываний, а также для натурального первопорядкового исчисления предикатов. Относительно этих алгоритмов доказываются метатеоремы об их непротиворечивости и полноте.
Читать далее