Целями освоения учебной дисциплины «Логика высказываний» являются: обеспечение базовой математической подготовки студентов в области основных понятий и методов математической логики, в том числе неклассической, их применения при решении прикладных задач; формирование математической культуры.
«Логика высказываний» является дисциплиной по выбору для бакалавров, магистрантов, специалистов и аспирантов, обучающихся по программе блока общепрофессиональной подготовки образовательного стандарта, установленного Московским государственным университетом имени М. В. Ломоносова для реализуемых образовательных программ высшего профессионального образования по направлению подготовки «Прикладная математика и информатика» образовательной программы.
В курсе изучаются: формальная логика (высказывания и их оценки, примеры классических логических законов); логическая эквивалентность и логическое следование;
методы характеризация формул (истинностных таблиц Бэта, метод резолюций); понятие логического исчисления; исчисление высказываний H, его семантическая пригодность и непротиворечивость, семантическая полнота и полнота по Посту; алгебра Линденбаума-Тарского L*; независимость системы аксиом исчисления H; генценовские исчисления, исчисление высказываний натурального типа N и его свойства; исчисление секвенций S и его свойства.
В дальнейшем знания и навыки, полученные при изучении данной дисциплины, являются основой для освоения следующих профессиональных и специальных дисциплин.
- Преподаватель курса: Гуров Сергей