Лекции по конструктивной логике

недоступно к заказу

В книге систематически излагаются основные сведения, относящиеся к интуиционистской и конструктивной логике: мотивировка интуиционистского подхода в математике, интуиционистское построение системы действительных чисел, аксиоматизации интуиционистской логики и арифметики, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем, конструктивные интерпретации интуиционистских теорий.

Часть представленного в книге материала ранее излагалась только в журнальных статьях. Книга написана на основе специальных курсов, читавшихся автором в течение ряда лет на механико-математическом факультете МГУ имени М. В. Ломоносова и в СУНЦ МГУ. Для чтения книги не требуется никаких предварительных знаний: все необходимые сведения из теории множеств, классической математической логики и теории алгоритмов излагаются в книге.

Книга может служить для первоначального ознакомления с вопросами оснований математики, а также классической и неклассической математической логикой.

Книга предназначена для учеников старших классов физико-математических школ, для студентов и аспирантов, а также специалистов по математической логике, информатике и кибернетике.

Артикул
4626600
Издательство
Тип обложки
твердый переплет
Автор
Штрих код
9785871404270
Год
Страниц
248
Язык
Русский
Размеры
205x260x15 мм
Вес
792 гр.
Импортер
ООО «Абрис-Бел». 220112, РБ, г. Минск, ул. Cырокомли 7-167
Изготовитель
ООО ИД "Литературная учеба". Новодмитровская ул., 5-а, г. Москва, Россия, 127015
Отзыв к товару «Лекции по конструктивной логике»
Отзывы
Меню
Каталог товаров