|
Вторник,
16:20,
|
Годовой спецкурс (возможно изучение только первой части в осеннем семестре). Первое занятие - 4 октября Рассматриваются вопросы, входящие в программу вступительного экзамена в аспирантуру и не освещаемые в других курсах. Предполагается рассмотреть классическую логику: понятия высказывания, тавтологии, логического следования в его связи с оператором замыкания, методы характеризации формул алгебры логики (традиционная формальная логика). Вводятся понятия логического исчисления (математическая логика) и вопросы метатеорий: выводимость и её свойства, понятие интерпретации исчислений, их непротиворечивость, семантическая пригодность, полнота и др. Рассматриваются различные формализации алгебры высказываний, как в виде исчислений, так и в виде секвенций. Для каждого исчисления рассматривается соответствующая метатеория. Будет дан современный взгляд на классическую пропозициональную логику в её связи с различными абстрактными математическими структурами. Некоторые вопросы выносятся на практические занятия. По данному спецкурсу имеется пособие в печатной и электронной формах. Возможно изменение дня недели и времени начала занятий. Оставляйте свои пожелания на кафедре или пишите sgur@cs.msu.ru Страница курса: http://vmk.somee.com/Details/186 |