О курсе

Открытый курс по математической логике представляет собой адаптивный электронный обучающий курс, предназначенный для организации гибкого персонализированного процесса обучения в электронной среде. Для каждого обучаемого в электронной среде формируется индивидуальная учебная траектория и индивидуальное пространство учебных материалов с учетом персонального темпа обучающегося и его индивидуальных потребностей. Все учебные материалы курса представлены в нескольких редакциях изложения и выбор редакции материала для обучающегося осуществляется автоматически на основе достигнутого им уровня освоения курса. Высокий уровень вариативности базы тестовых заданий позволяет повысить результативность обучения по дисциплине.

Результат

В результате освоения открытого курса обучающийся будет:
Знать основы логики высказываний
Знать область и способы применения логических функций
Знать принципы построения формальных теорий
Знать принципы построения исчисления высказываний и исчисления предикатов
Знать основы логики предикатов
Владеть навыками формально логического построения теорий
Владеть навыками использования языка математической логики для представления знаний о предметных областях
Владеть навыками представления математических теорий как аксиоматических теорий
Владеть навыками построения интерпретаций формул теории

Формируемые компетенции

О преподавателях

Входные требования

Содержание курса

Рекомендуемые курсы