Рабочая программа учебной дисциплины "Элементы математической логики" специальность 09.02.02 «Компьютерные сети» (базовая подготовка) (на базе 11 классов)
СОДЕРЖАНИЕ
1. Паспорт рабочей программы учебной дисциплины 5
2. Структура и содержание учебной дисциплины 7
3. Условия реализации программы учебной дисциплины 12
4. Контроль и оценка результатов освоения учебной дисциплины 14
Цели и задачи учебной дисциплины – требования к результатам освоения дисциплины:
В результате освоения учебной дисциплины обучающийся должен иметь представление:
- о роли и месте знаний по математической логике при освоении смежных дисциплин по выбранной специальности и в сфере профессиональной деятельности;
- о значении и области применения математической логики.
В результате освоения учебной дисциплины обучающийся должен уметь:
- формулировать задачи логического характера и применять средства математической логики для их решения.
В результате освоения учебной дисциплины обучающийся должен знать:
- основные принципы математической логики;
- теории множеств и теории алгоритмов;
- формулы алгебры высказываний;
- методы минимизации алгебраических преобразований;
- основы языка и алгебры предикатов.
Рекомендуемое количество часов на освоение примерной программы учебной дисциплины:
максимальной учебной нагрузки обучающегося 269 часа, в том числе:
- обязательной аудиторной учебной нагрузки обучающегося 179 часов;
- самостоятельной работы обучающегося 90 часов.
Наименование разделов и тем
Введение
Раздел 1. Теория множеств.
- Тема 1.1. Общие понятия теории множеств.
- Тема 1.2. Основные операции над множествами и их свойства.
- Тема 1.3. Отношения. Бинарные отношения и их свойств. Подстановки
Раздел 2. Алгебра логики.
- Тема 2.1. Высказывания. Логические операции. Формулы логики. Таблица истинности.
- Тема 2.2. Законы логики. Равносильные преобразования.
- Тема 2.3. Дизъюнктивная и конъюнктивная нормальные формы.
- Тема 2.4. Приложения алгебры высказываний к логико-математической практике.
Раздел 3. Булевы функции
- Тема 3.1. Функции алгебры логики.
- Тема 3.2. Минимизация булевых функций.
- Тема 3.3. Основные классы функций. Полнота множества. Теорема Поста.
Раздел 4. Алгебра предикатов.
- Тема 4.1. Понятие предиката. Логические операции над предикатами.
- Тема 4.2. Кванторы. Кванторные операции над предикатами.
- Тема 4.3. Предикатные формулы.
- Тема 4.4. Применение логики предикатов к логико-математической практике.
Раздел 5. Элементы теории алгоритмов.
- Тема 5.1.Элементы теории и практики кодирования
- Тема 5.2. Элементы теории алгоритмов и формы представления алгоритма.
- Тема 5.3. Машина Поста. Машина Тьюринга.
Разработала: Рудзина Тамара Нельевна, ГБПОУ Колледж связи № 54 имени П.М. Вострухина г. Москва
|
УМК школа