Гуров С.И.

Вторник, 16:20,
ауд. 605

Годовой спецкурс (возможно изучение только первой части в осеннем семестре). Первое занятие - 2 октября

Рассматриваются вопросы, входящие в программу вступительного экзамена в аспирантуру и не освещаемые в других курсах.

Предполагается рассмотреть классическую логику: понятия высказывания, тавтологии, логического следования в его связи с оператором замыкания, методы характеризации формул алгебры логики (традиционная формальная логика). Вводятся понятия логического исчисления (математическая логика) и вопросы метатеорий: выводимость и её свойства, понятие интерпретации исчислений, их непротиворечивость, семантическая пригодность, полнота и др. Рассматриваются различные формализации алгебры высказываний, как в виде исчислений, так и в виде секвенций. Для каждого исчисления рассматривается соответствующая метатеория. Будет дан современный взгляд на классическую пропозициональную логику в её связи с различными абстрактными математическими структурами. Некоторые вопросы выносятся на практические занятия.

По данному спецкурсу имеется пособие в печатной и электронной формах. Имеется пособие в электронной форме.

Оставляйте свои пожелания на кафедре ММП или пишите sgur@cs.msu.ru

Страница курса: http://vmk.somee.com/Details/355