Натуральный вывод. Теоретико-доказательственное исследование - Правиц Д.
Автор: Правиц Д.
Артикул: 1331950
SKU: VV1331950
ISBN: 9785855824209
Количество страниц: 108
Обложка: Paperback
Год: 2020
Издательство: Лори(Lori)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Артикул: 1331950
SKU: VV1331950
ISBN: 9785855824209
Количество страниц: 108
Обложка: Paperback
Год: 2020
Издательство: Лори(Lori)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Ваша цена:
$30.47
Not In Stock
Краткая аннотация
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств: - Образцы строгих и ясных определений языков первопорядковой и второпорядковой логик, базовых и вспомогательных логических понятий; - Компактное изложение различных версий систем натурального вывода для классической, интуиционистской и минимальной логик; - Конструктивные доказательства фундаментальных теорем о нормализации натуральных выводов в классической, интуиционистской и минимальной системах первого и второго порядков; - Версии систем натурального вывода для модальных и релевантных логик; - Оригинальные и перспективные идеи, касающиеся анализа и нормализации доказательств в форме натуральных выводов.
Похожие товары
Геометрия 11кл [Самост. и контр работы] углубл. ур
Geometriia 11kl [Samost. i kontr raboty] uglubl. ur , Merzliak Arkadii Grigor'evichМерзляк Аркадий Григорьевич
Артикул: 1502206
$23.26
Доставка за 14–20 дней
Тренажер по математике 1кл ФГОС Нов.
Trenazher po matematike 1kl FGOS Nov. , Kozina Galina AleksandrovnaКозина Галина Александровна
Артикул: 1507226
$12.46
Доставка за 14–20 дней
Сборник арифметических задач 1 часть. 1941 год
Sbornik arifmeticheskikh zadach 1 chast'. 1941 god , Popova D AПопова Д А
Артикул: 1355319
$24.95
Доставка за 14–20 дней
Математика. Геометрия 9кл Метод. реком. Базовый
Matematika. Geometriia 9kl Metod. rekom. Bazovyi , Atanasian Levon SergeevichАтанасян Левон Сергеевич
Артикул: 1520201
$22.16
Доставка за 14–20 дней
Алгебра. Учебник для 8-10кл. Часть II 1957 год
Algebra. Uchebnik dlia 8-10kl. Chast' II 1957 god , Barsukov A.NБарсуков А.Н
Артикул: 1437419
$34.18
Доставка за 14–20 дней
Математика 1кл ч1 Учебник
Matematika 1kl ch1 Uchebnik , Moro Mariia Ignat'evnaМоро Мария Игнатьевна
Артикул: 1520370
$50.87
Доставка за 14–20 дней
Математика Первый год обучения Ч3 Уч. пособие
Matematika Pervyi god obucheniia Ch3 Uch. posobie , Moro Mariia Ignat'evnaМоро Мария Игнатьевна
Артикул: 1367186
$56.04
Доставка за 14–20 дней
Математическое моделирование социально-экономических процессов: Учебник
Matematicheskoe modelirovanie sotsial'no-ekonomicheskikh protsessov: Uchebnik , Kiselev V.V., Goncharenko V.MКиселев В.В., Гончаренко В.М
Артикул: 1463782
$116.19
Доставка за 14–20 дней
