Открытый курс по математической логике представляет собой адаптивный электронный обучающий курс, предназначенный для организации гибкого персонализированного процесса обучения в электронной среде. Для каждого обучаемого в электронной среде формируется индивидуальная учебная траектория и индивидуальное пространство учебных материалов с учетом персонального темпа обучающегося и его индивидуальных потребностей. Все учебные материалы курса представлены в нескольких редакциях изложения и выбор редакции материала для обучающегося осуществляется автоматически на основе достигнутого им уровня освоения курса. Высокий уровень вариативности базы тестовых заданий позволяет повысить результативность обучения по дисциплине.
О преподавателях
Иванилова Татьяна НиколаевнаПрофессор Кафедры «Системотехники» СибГУ им. М.Ф.Решетнева, кандидат технических наук
Лутошкина Наталья ВасильевнаДоцент Кафедры «Системотехники» СибГУ им. М.Ф.Решетнева
Содержание курса
Раздел 1. Алгебра логики
Алгебра высказываний.
Логические функции и способы их представления.
Формулы в алгебре логике. Логическое следование
Законы алгебры логики. Эквивалентные преобразования логических формул.
Нормальные формы представления в алгебре логики.
Принцип суперпозиций. Замкнутые классы логических функций
Функционально полные системы элементарных булевых функций
Раздел 2. Формальные теории
Понятие формальной теории.
Исчисление высказываний как формальная теория.
Логика предикатов.
Эквивалентные соотношения для формул логики предикатов.
Предваренная нормальная форма.
Исчисление предикатов как формальная теория.
Автоматическое доказательство теорем. Метод резолюций в исчислении предикатов и исчислении высказываний.
