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

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

Автор/составитель	Плиско Валерий Егорович
Год выпуска	2021
ISBN	978-5-87140-427-0
Обложка	твердый переплет
Дата выпуска	2021 г.
Количество томов	1
Количество страниц	248
Переплет	твердый
Размеры	205x260 мм
Формат	84x108/16 (205x260 мм)
Тираж	200
Вес	792