 |
Сибирский федеральный университет Институт космических и информационных технологий |
|---|
1.0
11 недель
3-6 часов в неделю
2 зачетные единицы
 |
Вайнштейн Юлия Владимировна
|
Открытый курс по математической логике представляет собой адаптивный электронный обучающий курс, предназначенный для организации гибкого персонализированного процесса обучения в электронной среде. Для каждого обучаемого в электронной среде формируется индивидуальная учебная траектория и индивидуальное пространство учебных материалов с учетом персонального темпа обучающегося и его индивидуальных потребностей. Все учебные материалы курса представлены в нескольких редакциях изложения и выбор редакции материала для обучающегося осуществляется автоматически на основе достигнутого им уровня освоения курса. Высокий уровень вариативности базы тестовых заданий позволяет повысить результативность обучения по дисциплине.
Модуль 1. Алгебра логики
Введение в алгебру логики
Законы алгебры логики
Нормальные формы формул алгебры логики
Функционально полные системы
Модуль 2. Формальные теории
Понятие формальной теории
Логика предикатов
Метод резолюции
Русский
Для освоения курса необходимо знание базового курса математики средней школы и аппарата дискретной математики. Наличие навыков логического программирования поможет существенно облегчить прохождение обучающего курса.
ОПК-1 Владение основными концепциями, принципами, теориями и фактами, связанными с информатикой и математикой
ОПК-1 Способность использовать основные законы естественно-научных дисциплин в профессиональной деятельности
В результате освоения открытого курса обучающийся будет:
Знать основы логики высказываний
Знать область и способы применения логических функций
Знать принципы построения формальных теорий
Знать принципы построения исчисления высказываний и исчисления предикатов
Знать основы логики предикатов
Владеть навыками формально логического построения теорий
Владеть навыками использования языка математической логики для представления знаний о предметных областях
Владеть навыками представления математических теорий как аксиоматических теорий
Владеть навыками построения интерпретаций формул теории
В качестве оценочных средств используются тесты к каждой микропорции учебного материала для проверки уровня его усвоения, а также итоговые тесты по разделам и всему курсу в целом.
09.00.00 Информатика и вычислительная техника
10.00.00 Информационная безопасность
15.00.00 Машиностроение
27.00.00 Управление в технических системах
По результатам освоения курса выдается сертификат
Вайнштейн Юлия Владимировна
julia_ww@mail.ru
