Математический интуиционизм. Введение в теорию доказательствКНИГИ » НАУКА И УЧЕБА
Название: Математический интуиционизм. Введение в теорию доказательств Автор: Драгалин А.Г. Издательство: Наука Год: 1979 Формат: PDF Страниц: 256 Размер: 13,41 Мб Язык: русский
Цель этой небольшой книги — изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью классическая теория моделей. Автор стремился познакомить читателя с основными аксиоматическими теориями, основанными на интуиционистской логике, и их особенностями, часто весьма непривычными даже для специалиста-логика, но привыкшего иметь дело с классической логикой.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Введение в теорию относительности (1947) Название: Введение в теорию относительности (1947) Автор: П. Г. Бергман Издательство: Издательство иностранной литературы Год: 1947 Формат: djvu...
Интуиционистская логика Автор: Плиско В.Е., Хаханян В.X. Название: Интуиционистская логика Издательство: М.: МГУ, механико-математический факультет Год: 2009 Страниц: 160...
Теория доказательств Название: Теория доказательств Автор: Такеути Г. Издательство: М.: Мир Год: 1978 Cтраниц: 208 Формат: pdf Размер: 32 мб Язык: русский Кроме...
Введение в классическую теорию абелевых функций Название: Введение в классическую теорию абелевых функций Автор: Маркушевич А.И. Издательство: М.: Наука. Главная редакция физико-математической...
Теория доказательств Название: Теория доказательств Автор: Такеути Г. Издательство: М.: Мир Год: 1978 Формат: PDF Страниц: 412 Размер: 32.9 MB Язык: Русский Книга...
Введение в теорию случайных процессов Название: Введение в теорию случайных процессов Автор: И.И. Гихман, А.В. Скороход Издательство: Наука Год: 1977 Формат: pdf Страниц: 570 Размер:...
Введение в квантовую теорию информации Название: Введение в квантовую теорию информации Автор: Хренников А.Ю. Издательство: М.: ФИЗМАТЛИТ Год: 2008 ISBN: 978-5-9221-0951-2 Формат: PDF/DjVu...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Математический интуиционизм. Введение в теорию доказательств 
