Лекции по конструктивной логике; НИЦ "Луч", 2021
Сравнить цены
Последняя известная цена от 51 р. до 54 р. в 2 магазинах
Вы можете поискать его на других площадках:
Магазин | Цена | Наличие |
---|---|---|
Описание
В книге систематически излагаются основные сведения, относящиеся к интуиционистской и конструктивной логике: мотивировка интуиционистского подхода в математике, интуиционистское построение системы действительных чисел, аксиоматизации интуиционистской логики и арифметики, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем, конструктивные интерпретации интуиционистских теорий.
Часть представленного в книге материала ранее излагалась только в журнальных статьях. Книга написана на основе специальных курсов, читавшихся автором в течение ряда лет на механико-математическом факультете МГУ имени М. В. Ломоносова и в СУНЦ МГУ. Для чтения книги не требуется никаких предварительных знаний: все необходимые сведения из теории множеств, классической математической логики и теории алгоритмов излагаются в книге.
Книга может служить для первоначального ознакомления с вопросами оснований математики, а также классической и неклассической математической логикой.
Книга предназначена для учеников старших классов физико-математических школ, для студентов и аспирантов, а также специалистов по математической логике, информатике и кибернетике.
Смотри также о книге.
О книге
Параметр | Значение |
---|---|
Автор(ы) | Плиско Валерий Егорович |
Издатель | НИЦ "Луч" |
ISBN | 978-5-87140-427-0 |
Год издания | 2021 |
Отзывы (0)
Добавить отзыв
Похожие товары
Книги: Логика
Категория 41 р. - 61 р.
Книги: Логика: другие издатели
- John Wiley & Sons Limited
- RUGRAM
- АЙРИС-пресс
- Альпина Диджитал
- АСТ
- Вакоша
- Директмедиа Паблишинг
- Идея-Пресс
- ИЗДАТЕЛЬСТВО "АСТ"
- ИНФРА-М
- Канон+
- Книга по требованию
- Кнорус
- Концептуал
- Литрес
- Наука
- Наше Завтра
- НИЦ "Луч"
- ООО "Издательство Астрель"
- Ответ
- ПИТЕР
- Прометей
- Просвещение
- Проспект
- РГ-Пресс
- Сова. Малыш (Обучающая и развивающая литература)
- Спутник+
- Феникс
- Флинта
- Форум
- Экзамен
- Юнити-Дана
- Юрайт
- Юрайт-Издат
- Юристъ