Рабочая программа учебной дисциплины "Элементы математической логики" специальность 11.02. 02 «Техническое обслуживание и ремонт радиоэлектронной техники» (по отраслям)
СОДЕРЖАНИЕ
1. Паспорт рабочей программы учебной дисциплины 5
2. Структура и содержание учебной дисциплины 7
3. Условия реализации программы учебной дисциплины 12
4. Контроль и оценка результатов освоения учебной дисциплины 14
Цели и задачи учебной дисциплины – требования к результатам освоения дисциплины:
В результате освоения учебной дисциплины обучающийся должен иметь представление:
- о роли и месте знаний по математической логике при освоении смежных дисциплин по выбранной специальности и в сфере профессиональной деятельности;
- о значении и области применения математической логики.
В результате освоения учебной дисциплины обучающийся должен уметь:
- формулировать задачи логического характера и применять средства математической логики для их решения.
В результате освоения учебной дисциплины обучающийся должен знать:
- основные принципы математической логики, теории множеств и теории алгоритмов;
- формулы алгебры высказываний;
- методы минимизации алгебраических преобразований;
- основы языка и алгебры предикатов.
Рекомендуемое количество часов на освоение примерной программы учебной дисциплины:
максимальной учебной нагрузки обучающегося 90 часа, в том числе:
- обязательной аудиторной учебной нагрузки обучающегося 60 часов;
- самостоятельной работы обучающегося 30 часов.
Наименование разделов и тем
Введение
Раздел 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 имени П.М. Вострухина г. Москва
|
УМК школа