Google 
Аннотация: Натуральный вывод. Теоретико-доказательственное исследование
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.
Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств:
- Образцы строгих и ясных определений языков первопорядковой и второпорядковой логик, базовых и вспомогательных логических понятий;
- Компактное изложение различных версий систем натурального вывода для классической, интуиционистской и минимальной логик;
- Конструктивные доказательства фундаментальных теорем о нормализации натуральных выводов в классической, интуиционистской и минимальной системах первого и второго порядков;
- Версии систем натурального вывода для модальных и релевантных логик;
- Оригинальные и перспективные идеи, касающиеся анализа и нормализации доказательств в форме натуральных выводов.
| Автор/составитель | Правиц Даг |
| Год выпуска | 2020 |
| ISBN | 978-5-85582-420-9 |
| Обложка | мягкая обложка |
| Дата выпуска | 2020 г. |
| Количество томов | 1 |
| Количество страниц | 108 |
| Переплет | мягкий |
| Размеры | 170x240 мм |
| Формат | 70x100/16 (170x240 мм) |
| Тираж | 100 |
| Вес | 174 |
Бесплатная Доставка по Европе (EU)*
*Для заказов свыше 40, - евро Подробнее
Натуральный вывод. Теоретико-доказательственное исследование
- Модель: MYSH4768744
- ISBN: 978-5-85582-420-9
- Наличие:
-
Срок доставки: 21 день
- (10 оценок)
