Рабочая программа учебной дисциплины "Дискретная математика" по специальности 230401 Информационные системы (по отраслям) Заочное обучение
Рекомендуемое количество часов на освоение программы дисциплины:
максимальной учебной нагрузки обучающегося 115 часов, в том числе:
- обязательной аудиторной учебной нагрузки обучающегося 26 часа;
- самостоятельной работы обучающегося 89 часов
Содержание дисциплины:
Раздел 1. Высказывания
- Тема 1.1 Логические операции. Формулы логики. Таблица истинности.
- Тема 1.2. Законы логики. Равносильные преобразования.
- Тема 1.3. Представление функции в совершенных нормальных формах
Раздел 2. Множества и отображения
- Тема 2.1. Основные понятия теории множеств
- Тема 2.2. Теоретико – множественные операции
- Тема 2.3. Отображения, отношения, функции.
- Тема 2.4. Бинарные отношения
Раздел 3. Предикаты
- Тема 3.1. Логика предикатов
- Тема 3.2. Исчисление предикатов
Раздел 4. Теория отображений и алгебра подстановок
- Тема 4.1. Теория отображений и алгебра подстановок
Раздел 5. Основы алгебры вычетов
- Тема 5.1. Основы алгебры вычетов
Раздел 6. Простейшие криптографические шрифты
- Тема 6.1. Простейшие криптографические шрифты.
Раздел 7. Метод математической индукции
- Тема 7.1. Метод математической индукции.
Раздел 8. Элементы теории автоматов
- Тема 7.1. Элементы теории автоматов
Разработала: Литвинцева Евгения Александровна, ОГБОУ СПО «ЧГТК им. М.И. Щадова»
|
УМК школа