Рабочая программа учебной дисциплины "Элементы математической логики" специальность 09. 02. 03 «Программирование в компьютерных системах»
Рекомендуемое количество часов на освоение примерной программы учебной дисциплины:
максимальной учебной нагрузки обучающегося 105 часа, в том числе:
- обязательной аудиторной учебной нагрузки обучающегося 70 часов;
- самостоятельной работы обучающегося 35 часов
Содержание дисциплины:
Введение Раздел 1. Элементы теории множеств
- Тема 1.1. Основные понятия теории множеств. Операции над множествами
- Тема 1.2. Отношения. Бинарные отношения и их свойств. Подстановки.
Раздел 2. Элементы алгебры высказываний.
- Тема 2.1. Простые и сложные высказывания. Основные логические операции над высказываниями.
- Тема 2.2. Дизъюнктивная и конъюнктивная нормальные формы
- Тема 2.3. Законы логики. Равносильные преобразования
Раздел 3. Булевы функции
- Тема 3.1. Функции алгебры логики
- Тема 3.2. Полнота множества функций. Важнейшие замкнутые классы.
- Тема 3.3. Элементы схемотехники. Логические схемы.
Раздел 4. Основы алгебры предикатов.
- Тема 4.1. Понятие предиката. Логические операции над предикатами.
- Тема 4.2. Кванторы. Кванторные операции над предикатами.
Раздел 5. Основы теории алгоритмов.
- Тема 5.1. Понятие алгоритма. Свойства алгоритмов.
- Тема 5.2. Формы представления алгоритма. Основные алгоритмические конструкции.
Разработала: Капитонова Татьяна Сергеевна, ГБОУ СПО КС № 54
|