Инфоурок / Математика / Рабочие программы / ТЕМАТИЧЕСКИЙ ПЛАН по дисциплине ДИСКРЕТНАЯ МАТЕМАТИКА

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

Напоминаем, что в соответствии с профстандартом педагога (утверждён Приказом Минтруда России), если у Вас нет соответствующего преподаваемому предмету образования, то Вам необходимо пройти профессиональную переподготовку по профилю педагогической деятельности. Сделать это Вы можете дистанционно на сайте проекта "Инфоурок" и получить диплом с присвоением квалификации уже через 2 месяца!

Только сейчас действует СКИДКА 50% для всех педагогов на все 111 курсов профессиональной переподготовки! Доступна рассрочка с первым взносом всего 10%, при этом цена курса не увеличивается из-за использования рассрочки!

ВЫБРАТЬ КУРС И ПОДАТЬ ЗАЯВКУ
библиотека
материалов






Тематический план


по дисциплине

«Дискретная математика»


для специальности


230115 «Программирование в компьютерных системах»


Таблица распределения учебного времени изучения дисциплины в соответствии с учебным планом.



Внеаудиторная самостоятельная работа

Теоретические занятия

Лабораторные, практические занятия

Курсовые работы, проекты



1

Всего часов по учебному плану

116

46

30


40

Диф.зачет

2

Ранее дано часов







3

Запланировано на текущий учебный год.

1-е полугодие


17

4


16

зачет

2-е полугодие


29

26


24

Диф.зачет

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

2
2




Практическое занятие №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


Наглядное, техническое и информационное обеспечение обучения


Основные источники

  1. Спирина М.С., Дискретная математика. учебник для СПО ОИЦ «Академия», 2010. 368 с.


Дополнительные источники, периодические профессиональные издания:

  1. Гаврилов Г.П., Сапоженко А.А. Задачи и упражнения по курсу дискретной математики. — М.: Наука, 2007. 408с.

  2. Гончарова Г.А., Мочалин А.А. Элементы дискретной математики: учеб. пособ. М.: Форум: ИНФРА М, 2007.

  3. Кольман Э. Зих О. Занимательная логика. М.: Наука, 2008. 127с.

  4. Куликов Л.Я., Москаленко А.И., Фомин А.А. Сборник задач на алгебре и теории чисел. М.: Просвещение, 2008.

  5. Нефедов В.Н., Осипова В.А. Курс дискретной математики М.: Издательство МАИ, 2008. 264с.

  6. Рембольд У. Введение в информатику для научных работников и инженеров. Уфа: УГАТУ, 2007. 445с.

  7. Просветов Г.И. Дискретная математика: задачи и решения. Учебно-практическое пособие /– М.: Альфа-Пресс, 2009. 136 с.

  8. Хаггарти Р. Дискретная математика для программистов / пер. с анг. под ред. С. А. Кулешова с доп. А. А. Ковалева / Допущено УМО вузов РФ по образованию в области прикладной математики в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению подготовки "Прикладная математика". – М.: ТЕХНОСФЕРА, 2003. 257с.

  9. Шишмарев Ю.Е., Емцева Е.Д., Солодухин К.С. Дискретная математика: Сборник задач. ч.1. – Владивосток: ВГУЭС, 2000. 98с.


Интернет-ресурсы:

http://school-collection.edu.ru/catalog/search

Карпова И.В. Занимательная дискретная математика /

http://www.matburo.ru/st_subject.php?p=dm


Наглядный материал

Презентации к лекциям с иллюстрациями, схемами, примерами.

Методические рекомендации к практическим работам;

Методические рекомендации к самостоятельной внеаудиторной работе;

Практические работы;

Раздаточный материал.

Технические средства

  1. Мультимедийный проекционный комплект

  2. Колонки

  3. РАБОЧИЕ МЕСТА СТУДЕНТОВ

Общая информация

Номер материала: ДБ-121013

Похожие материалы