Главная / Студентам / Каталог курсов / Математика и информатика: основания математики

Математика и информатика: основания математики

Основания математики – это раздел современной математики, в котором речь идет об основных принципах построения математических теорий и моделей этих теорий, структуре математических доказательств, доказуемости и недоказуемости математических утверждений, возможности и невозможности математических конструкций, то есть обо всем том, что касается математики в целом, а не только той или иной специальной математической дисциплины. Важнейшей частью оснований математики является математическая логика. Поскольку чистая математика является своего рода испытательным полигоном для человеческой мысли, основания математики оказывают глубокое влияние и на смежные дисциплины, включая философию и когнитивные науки, которые широко пользуются методами современной математической логики. Задача предлагаемого курса – не только рассказать слушателям о современных подходах в основаниях математики, но и научить пользоваться основными средствами оснований математики (в частности, математической логикой) в гуманитарных науках. После такой подготовки студенты-гуманитарии смогут чувствовать себя уверенными, встретив длинные цепочки формул в новой книге по эстетике.

Кредиты: 6/3

Шифр: CMSC_D_105


Профиль подготовки Компьютерные науки и искусственный интеллект

Читается в текущем семестре: Нет

Выполняет требования широты образования: Да

тип курса: Общий курс

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