|
Натуральный вывод. Теоретико-доказательственное исследование - Правиц Д.
|
Natural'nyi vyvod. Teoretiko-dokazatel'stvennoe issledovanie
Type : Books
SKU: VV1331950
ISBN: 9785855824209
Pages: 108
Format: 70x100/16
Cover: Paperback
Year: 2020
Publisher: Лори (Lori)
Your Price: $32.07
will be shipped in 14-16 days (отправляется через 14-16 дня)
|
| |
Краткая аннотация:
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств: - Образцы строгих и ясных определений языков первопорядковой и второпорядковой логик, базовых и вспомогательных логических понятий; - Компактное изложение различных версий систем натурального вывода для классической, интуиционистской и минимальной логик; - Конструктивные доказательства фундаментальных теорем о нормализации натуральных выводов в классической, интуиционистской и минимальной системах первого и второго порядков; - Версии систем натурального вывода для модальных и релевантных логик; - Оригинальные и перспективные идеи, касающиеся анализа и нормализации доказательств в форме натуральных выводов. |
|
