2021/2022

Научно-исследовательский семинар "Неклассические логики"

Статус: Дисциплина общефакультетского пула

Кто читает: Факультет математики

Где читается: Факультет математики

Когда читается: 3, 4 модуль

Охват аудитории: для всех кампусов НИУ ВШЭ

Преподаватели: Кудинов Андрей Валерьевич

Язык: русский

Кредиты: 3

Контактные часы: 36

Программа дисциплины

Аннотация

Математическая логика находится на стыке математики, теоретической информатики и философии. Но по сути, как и любая математическая дисциплина, она предоставляет инструментарий пригодный для многих целей, в данном случае для изучения формальных языков, которые встречаются в разных областях человеческого знания. Обычно математическую логику разделяют на классическую (логика высказываний, логика предикатов и т.п.) и неклассическую (интуиционистская, модальная ло- гика, линейная логика и т.п.). Подавляющее большинство публикаций по математической логике в со- временных научных журналах касаются именно неклассической логики. Связано это с тем, что инструментарий неклассической логики гораздо более гибкий и позволяет подбирать нужные инструменты для любой задачи. В этом курсе мы изучим основы неклассической логики. ПРЕДВАРИТЕЛЬНАЯ ПОДГОТОВКА: Для успешного освоения этого курса необходимо знакомство с основными понятиями математической логики. Достаточно чтобы был прослушан один из следующих курсов или аналогичные им: - Элементы математической логики (нис на факультете математики) - Логика и алгоритмы (основной курс факультета математики)