|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Лекции по конструктивной логике. М.:Луч, 2021книга
- Автор: Плиско В.Е.
- Год издания: 2021
- Место издания: Научно-издательский центр "Луч" Москва
- Объём: 248 страниц (15,5 печатных листов)
- ISBN: 978-5-87140-427-0
- Тираж: 200 экз.
- Учебное пособие без грифа
- Аннотация: В книге систематически излагаются основные сведения, относящиеся к интуиционистской и конструктивной логике: мотивировка интуиционистского подхода в математике, интуиционистское построение системы действительных чисел, аксиоматизации интуиционистской логики и арифметики, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем, конструктивные интерпретации интуиционистских теорий. Часть представленного в книге материала ранее излагалась только в журнальных статьях. Книга написана на основе специальных курсов, читавшихся автором в течение ряда лет на механико-математическом факультете МГУ имени М.В.Ломоносова и в СУНЦ МГУ. Для чтения книги не требуется никаких предварительных знаний: все необходимые сведения из теории множеств, классической математической логики и теории алгоритмов излагаются в книге. Книга может служить для первоначального ознакомления с вопросами оснований математики, а также классической и неклассической математической логикой. Книга предназначена для учеников старших классов физико-математических школ, для студентов и аспирантов, а также специалистов по математической логике, информатике и кибернетике.
- Добавил в систему: Плиско Валерий Егорович