ТЕМАТИЧЕСКИЙ ПЛАН по дисциплине ДИСКРЕТНАЯ МАТЕМАТИКА

Тематический план
по дисциплине
«Дискретная математика»
для специальности
230115 «Программирование в компьютерных системах»

Таблица распределения учебного времени изучения дисциплины в соответствии с учебным планом.
№ п/п Распределение учебного времени Общее количество часов (макс.) В том числе: Итоговый (промежуточный) контроль
Аудиторные: Внеаудиторная самостоятельная работа Теоретические занятия Лабораторные, практические занятия Курсовые работы, проекты 1 Всего часов по учебному плану 116 46 30 40 Диф.зачет2 Ранее дано часов 3 Запланировано на текущий учебный год. 1-е полугодие 17 4 16 зачет
2-е полугодие 29 26 24 Диф.зачет4 Осталось на следующий учебный год Тематический план
№ п/п
Разделы, темы, включая названия практических и лабораторных работ ОК
ПК Аудиторные часы Сам. внеауд. раб. часы
Теоретич. занятия Прак. и лаб.занятия Раздел 1. Теория графов Тема 1.1. Основные понятия и определения графа и его элементов ОК2 ОК3 ПК1.1 2 Самостоятельная работа студента №1.
Изучить правило игры, придуманные Гамильтоном в XIX веке, задачу о коммивояжере - задачу математического программирования. ОК8
ПК1.3 4
Тема 1.2. Операции над графами ОК5
ПК1.1 ПК1.4 2 Практическое занятие №1. Строить граф, находить его характеристики. Применять аппарат теории графов для решения задач ОК5 ПК2.2 ПК1.3 2 Самостоятельная работа студента №2. Составить опорный конспект.
Операции над графами. Кольцевая сумма. ОК8
ПК1.3 4
Тема 1.3. Способы задания графа.  ОК5 ПК1.1 ПК1.2 2 Тема 1.4. Понятие неориентированный граф. Основные определения. ОК1ПК1.1 ПК4.2 2 Тема 1.5. Понятие ориентированный граф. Основные определения. ОК1ПК1.1 2 Практическое занятие №2. Применение основных логических операций. ОК4
ПК2.1 2 Самостоятельная работа студента №3.
Составить опорный конспект.
Построение диаграммы графа по заданным матрицам смежности или инцидентности. Определение матриц (смежности или инцидентности) по заданной диаграмме графа. ОК5 ПК2.2 ПК1.3 4
Тема 1.5. Понятие «ориентированный граф (орграф)». Основные определения. ОК2 ОК3ПК2.1 ПК4.2 22 Тема 1.6. Сети. Сетевые модели представления информации ОК2 ОК3
ПК2.1 2 Самостоятельная работа студента №4.
Составить опорный конспект.
Применение графов и сетей при решении задач планирования. Представление иерархических структур с помощью графов. ОК5 ПК2.2 ПК1.3 4
ЗачетСодержание учебного материала: за первое полугодие 1 7 семестр 17 4 16
Раздел 2. Формальные системы и умозаключения. Логика предикатов Тема 2.1. Формальные системы. ОК2 ОК3
ПК2.1 ПК1.1 2 Практическое занятие №3. Соответствие формальных систем указанным требованиям. Исчисление предикатов. Автоматизация исчисления высказываний с использованием установленных правил. ОК8
ПК1.3 2 Самостоятельная работа студента №5.
Составить опорный конспект.
Отличительные особенности геометрии Лобачевского и геометрии Евклида. ОК1ПК1.1 4
Тема 2.2. Логика предикатов ОК8 ПК2.2 ПК1.1 2 Практическое занятие №4. Применение аппарата алгебры высказываний для работы с предикатами. ОК5 ПК2.2 ПК1.3 ПК3.3 2 Практическое занятие №5. Исчисление предикатов, выполнение операций над предикатами. ОК1ПК1.1 2 Самостоятельная работа студента №6.
Составить опорный конспект.
Умозаключения как форма мышления. Дедуктивные умозаключения и их виды. Простые категорические силлогизмы. Энтимемы. Подготовка к практической работе. ОК8
ПК1.3 4
Тема 2.3. Методы научного познания ОК2 ОК3
ПК2.1 2 Тема 2.4. Принцип метода математической индукции. ОК2
ПК2.1 2 Практическое занятие №6.Проведение доказательства методом полной математической индукции. ОК2 ОК3 ПК2.6 2 Практическое занятие №7. Установить истинность выражения методом математической индукции ОК1 ПК1.1 ПК4.2 2 Самостоятельная работа студента №7.
Составить опорный конспект.
Методы установления причинных связей. Метод Милли. ОК5 ПК2.2 ПК1.3 ПК3.3 4
Раздел 3. Элементы теории и практики кодирования. Тема 3.1. Основные понятия вероятностной теории информации ОК2 ОК3 ПК1.1 2 Тема 3.2. Основы алгебры вычетов и их приложение к простейшим криптографическим шифрам. ОК2 ОК3 ПК1.1 2 Контрольная работа по разделам 1-3. 2 Практическое занятие №8. Выполнение операций в алгебре вычетов. Приложение алгебры вычетов к простейшим криптографическим шифрам ОК8 ПК1.3 2 Самостоятельная работа студента №8.
Подготовить реферат.
История кодирования от древности до наших дней. Защита информации. Кодирование информации как средство обеспечения контроля работы автомата. Помехоустойчивое кодирование.  ОК5 ПК2.2 ПК1.3 ПК3.3 4
Раздел 4. Конечные автоматы. Тема 4.1. Определения конечных автоматов. ОК3 ОК9 ПК1.1 ПК3.4 22 Практическое занятие №9. Определение характеристик автомата. Представление событий в автомате. ОК1 ПК1.1 ПК4.2 2 Самостоятельная работа студента №9.
Подготовить доклад.
Автоматы Мили, автоматы Мура. ОК8 ОК4 ПК2.1 ПК3.3 ПК4.2 4
Тема 4.2. Способы задания конечных автоматов. ОК8 ПК1.1 ПК3.4 2 Практическое занятие №10. Описание работы кодового замка, составление таблицы переходов и соответствующего графа. ОК2 ОК3 ПК2.6 2 Самостоятельная работа студента №10.
Подготовить доклад.
Двухкодовый триггер. Сравнительный анализ возможностей человека и автомата. ОК8 ОК4 ПК2.1 ПК3.3 ПК4.2 4
Раздел 5. Основные принципы теории алгоритмов. Тема 5.1. Вычислимые функции и алгоритмы. ОК2 ОК3 ПК1.1 ПК1.2 2 Тема 5.2. Теория рекурсивных функций. ОК2 ОК4 ПК3.4 2 Практическое занятие №11. Рекурсивные функции. Получение функции с помощью оператора примитивной рекурсии ОК2 ОК3 ПК2.6 2 Практическое занятие №12. Рекурсивные функции. Получение функции с помощью оператора минимизации. ОК1 ПК1.1 ПК4.2 2 Практическое занятие №13. Использование нормальных алгоритмов при решении задач. ОК1 ПК1.1 ПК4.2 2 Практическое занятие №14. Использование нормальных алгоритмов при решении задач. ОК2 ОК3 ПК2.6 2 Тема 5.4. Машины Тьюринга.
ОК3 ОК4 ПК1.1 ПК3.4 2
Практическое занятие №15. Формализация машины Тьюринга. ОК2 ОК3 ПК2.6 2 Дифференцированный зачет 3 8 семестр 29 26 40
ИТОГО: 46 30 Наглядное, техническое и информационное обеспечение обучения
Основные источники
Спирина М.С., Дискретная математика. учебник для СПО ОИЦ «Академия», 2010. 368 с.
Дополнительные источники, периодические профессиональные издания:
Гаврилов Г.П., Сапоженко А.А. Задачи и упражнения по курсу дискретной математики. — М.: Наука, 2007. 408с.
Гончарова Г.А., Мочалин А.А. Элементы дискретной математики: учеб. пособ. М.: Форум: ИНФРА М, 2007.
Кольман Э. Зих О. Занимательная логика. М.: Наука, 2008. 127с.
Куликов Л.Я., Москаленко А.И., Фомин А.А. Сборник задач на алгебре и теории чисел. М.: Просвещение, 2008.
Нефедов В.Н., Осипова В.А. Курс дискретной математики М.: Издательство МАИ, 2008. 264с.
Рембольд У. Введение в информатику для научных работников и инженеров. Уфа: УГАТУ, 2007. 445с.
Просветов Г.И. Дискретная математика: задачи и решения. Учебно-практическое пособие /– М.: Альфа-Пресс, 2009. 136 с.
Хаггарти Р. Дискретная математика для программистов / пер. с анг. под ред. С. А. Кулешова с доп. А. А. Ковалева / Допущено УМО вузов РФ по образованию в области прикладной математики в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению подготовки "Прикладная математика". – М.: ТЕХНОСФЕРА, 2003. 257с.
Шишмарев Ю.Е., Емцева Е.Д., Солодухин К.С. Дискретная математика: Сборник задач. ч.1. – Владивосток: ВГУЭС, 2000. 98с.
Интернет-ресурсы:
http://school-collection.edu.ru/catalog/searchКарпова И.В. Занимательная дискретная математика /
http://www.matburo.ru/st_subject.php?p=dmНаглядный материал
Презентации к лекциям с иллюстрациями, схемами, примерами.
Методические рекомендации к практическим работам;
Методические рекомендации к самостоятельной внеаудиторной работе;
Практические работы;
Раздаточный материал.
Технические средства
Мультимедийный проекционный комплект
Колонки
РАБОЧИЕ МЕСТА СТУДЕНТОВ
Наименование (указать характеристики и параметры) количество примечание
Системный блок 16 Depo (Neos) CPU LGA775 Pentium Dual-Core E2200(2,2gHz), ОЗУ 1GB, video(intel 82945G 128mb),6USB, 1COM, 1LAN, 1VGA, 1LPT, audio, HDD 80GB.
Клавиатура 16 Depo Computers KWD-820
манипулятор мышь 16 Depo Computers MO-A133PS00X
устройство отображения информации (монитор) 16 Aser AL1716F(Диагональ 17", Время отклика 5ms, контраст 800:1, яркость 300cd/m2 TCO'03/ MPR|| )