Рабочая программа учебной дисциплины "Элементы математической логики" специальность 10.02.01 «Организация и технология защиты информации»
Рекомендуемое количество часов на освоение примерной программы учебной дисциплины:
максимальной учебной нагрузки обучающегося 86 часа, в том числе:
- обязательной аудиторной учебной нагрузки обучающегося 57 часов;
- самостоятельной работы обучающегося 29 часов.
Содержание дисциплины:
Введение
Раздел 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.1. Понятие алгоритма. Свойства алгоритмов
Разработала: Рудзина Тамара Нельевна, Капитонова Татьяна Сергеевна ГБОУ СПО Колледж связи № 54 г. Москва
|
УМК школа