КТП по дисциплине ЕН.02 Элементы математической логики
календарно-тематическое планирование

Зам.директора

Зам.директора

Зам.директора

по учебной работе и управлению

по учебной работе и управлению

по учебной работе и управлению

качеством образования

качеством образования

качеством образования

/Т. В.Кислицина/

/Т.В.Кислицина/

/Т.В.Кислицина/

«

»

2019 г.

«

»

201  г.

«

»

201  г.

программа подготовки специалистов среднего звена по специальности

09.02.03

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

код ФГОС

наименование ФГОС

на

20

19

/

20

уч.год

на

20

/

уч.год

на

20

/

уч.год

по учебной дисциплине

ЕН.02

Элементы математической логики

индекс

наименование учебной дисциплины

Рассмотрен на заседании цикловой методической комиссии

Математики, информатики и вычислительной техники

наименование ЦМК

от

«

»

20

г.

Протокол №

Руководитель кафедры

И.А. Ларина

подпись

ФИО

от

«

»

20

г.

Протокол №

Руководитель кафедры

подпись

ФИО

от

«

»

20

г.

Протокол №

Руководитель кафедры

подпись

ФИО

Преподаватель

Абросимова Регина Ильясовна

Фамилия, имя, отчество

курс

семестр

Индекс УД

Максимальная учебная нагрузка (час)

Внеаудиторная (самостоятельная) нагрузка (час)

Обязательная аудиторная учебная нагрузка (час)

В том числе

Количество обязательных контрольных работ по программе

Форма промежуточной аттестации

Занятия на уроке

Лабораторные работы (час)

Практические занятия (час)

Курсовое проектирование (час)

2

3

ЕН.02

54

18

36

36

4

60

20

40

40

Экзамен

ВСЕГО

114

38

76

76

УД/МДК

ЕН.02.

Элементы математической логики

(код)

(наименование дисциплины/МДК)

группа

ПКС- 218

№ ,

наименование раздела, темы программы

№ пары

Кол-во

часов

Дата проведения

Тема  учебного занятия

Вид учебного занятия

Дидактическое обеспечение

Формы и методы контроля

Планируемый уровень усвоения

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

Введение (2 часа)

Введение

1

2

Основные цели и задачи курса.

Лекция

Урок изучения нового материала

УМК

1

Раздел 1.  Алгебра высказываний ( 26 часов)

1.1 Высказывания и операции над ними

2

2

Высказывания и операции над ними. Отрицание. Конъюнкция и дизъюнкция.

Лекция

Урок изучения нового материала

Методические рекомендации по выполнению ПР

Практическая проверка

1

Выполнение расчетно-графической работы №1 /2 часа/

3

2

Импликация. Эквивалентность. Таблицы истинности.

Лекция

Урок изучения нового материала

УМК

1

4

2

Определение значения истинности высказываний.

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

Урок закрепления и формирования  умений

Методические рекомендации по выполнению ПР

Практическая проверка

Выполнение расчетно-графической работы №2 /2 часа/

1.2 Формулы алгебры высказываний

5

2

Формулы алгебры высказываний. Классификация формул алгебры логики.

Лекция

Урок изучения нового материала

УМК

1

6

2

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

Лекция

Комбинированный

Методические рекомендации по выполнению ПР

Практическая проверка

2

Выполнение расчетно-графической работы №3  /2 часа/

7

2

Составление таблиц истинности для формул.

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

Урок закрепления и формирования  умений

Методические рекомендации по выполнению ПР

Практическая проверка

Проверка ВСР

Выполнение расчетно-графической работы №4 /2 часа/

8

2

Упрощение формул логики с помощью равносильных преобразований

Лекция

Комбинированный

УМК

2

1.3 Нормальные формы для формул алгебры высказываний.

9

2

Упрощение формул логики с помощью равносильных преобразований

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

Урок закрепления и формирования  умений

Методические рекомендации по выполнению ПР

Практическая проверка Проверка ВСР

Выполнение расчетно-графической работы №5 /2 часа/

10

2

Нормальные формы для формул алгебры высказываний.

Лекция

Урок изучения нового материала

УМК

1

11

2

Приведение формул  логики к совершенным нормальным формам.

Лекция

Комбинированный

Методические рекомендации по выполнению ПР

Проверка ВСР

2

Выполнение расчетно-графической работы №6 /2 часа/

12

2

Приведение формул логики к совершенным нормальным формам.

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

Урок закрепления и формирования  умений

Методические рекомендации по выполнению ПР

Практическая проверка

1.4 Приложения алгебры высказываний к логико-математической практике

13

2

Прямая и обратная теоремы. Необходимые и достаточные условия.

Лекция

Урок изучения нового материала

Методические рекомендации по выполнению ПР

Проверка ВСР

1

Выполнение расчетно-графической работы №7 /2 часа/

14

2

Контрольная работа №1.

«Алгебра высказываний».

Практическое занятие Урок контроля знаний, умений и навыков

УМК

Практическая проверка

Раздел 2. Булевы функции ( 22 часа)

2.1 Множества, отношения, функции

15

2

Множества. Отношения между множествами. Мощность множеств.

Лекция

Урок изучения нового материала

Методические рекомендации по выполнению ПР

Проверка ВСР

1

Выполнение расчетно-графической работы №8  /2 часа/

16

2

Операции над множествами. Декартово произведение множеств.

Лекция

Урок изучения нового материала

УМК

1

17

2

Представление множеств в виде диаграмм Эйлера-Венна.

Лекция

Комбинированный

Методические рекомендации по выполнению ПР

Проверка ВСР

2

Выполнение расчетно-графической работы № 9 /2 часа/

18

2

Решение задач при помощи кругов Эйлера.

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

Урок закрепления и формирования  умений

УМК

Практическая проверка

19

2

Алгебра Буля. Решение задач алгебры Буля.

Лекция

Урок изучения нового материала

Методические рекомендации по выполнению ПР

Проверка ВСР

1

Выполнение расчетно-графической работы №10 /2 часа/

20

2

Принцип двойственности в алгебре множеств.

Лекция

Комбинированный

УМК

2

21

2

Бинарные отношения. Отображения. Функции.

Лекция

Комбинированный

Методические рекомендации по выполнению ПР

Проверка ВСР

2

Выполнение расчетно-графической работы №11 /2 часа/

22

2

Решение задач на соответствие между множествами.

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

Урок закрепления и формирования  умений

Методические рекомендации по выполнению ПР

Практическая проверка

2.2 Булевы функции

23

2

Булевы функции.

 Лекция

Урок изучения нового материала

Методические рекомендации по выполнению ПР

Проверка ВСР

1

Выполнение расчетно-графической работы №12 /3 часа/

24

2

Канонический многочлен Жегалкина. Замкнутые классы. Теорема Поста.

Лекция

Комбинированный

УМК

2

25

2

Контрольная работа №2.

«Булевы функции».

Практическое занятие Урок контроля знаний, умений и навыков

УМК

Практическая проверка

Раздел 3. Логика предикатов ( 16 часов)

3.1 Предикаты.

26

2

Предикаты и высказывательные формы.  Множество истинности.

 Лекция

Урок изучения нового материала

УМК

1

27

2

Равносильность и следование предикатов. Логические операции над предикатами.

Лекция

Комбинированный

Методические рекомендации по выполнению ПР

Проверка ВСР

2

Выполнение расчетно-графической работы №13 /3 часа/

28

2

Выполнение логических операций над предикатами.

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

Урок закрепления и формирования  умений

Методические рекомендации по выполнению ПР

Практическая проверка

3.2 Кванторные операции над предикатами.

29

2

Кванторы. Отрицание предложений. Численные кванторы.

Лекция

Урок изучения нового материала

Методические рекомендации по выполнению ПР

Проверка ВСР

2

Выполнение расчетно-графической работы №14 /2 часа/

30

2

Операции с кванторами.

Лекция

Комбинированный

УМК

2

3.3 Применение логики предикатов к логико-математической практике.

31

2

Применение логики предикатов к логико-математической практике.

Лекция

Урок изучения нового материала

УМК

2

32

2

Построение дедуктивных и индуктивных умозаключений.

Практическое занятие Урок закрепления и формирования  умений

Методические рекомендации по выполнению ПР

Практическая проверка Проверка ВСР

Выполнение расчетно-графической работы №15 /3 часа/

33

2

Контрольная работа № 3 «Логика предикатов».

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

Урок контроля знаний, умений и навыков

УМК

Письменная проверка

Раздел 4. Элементы теории алгоритмов. (10 часов)

4.1 Задачи и алгоритмы

34

2

Задачи и алгоритмы. Неформальное определение алгоритма.

Лекция

Урок изучения нового материала

Методические рекомендации по выполнению ПР

Проверка ВСР

1

Выполнение расчетно-графической работы №16 /2 часа/

35

2

Массовая и индивидуальная

задача.

Составление алгоритмов.

Лекция

Комбинированный

УМК

2

4.2 Машина Тьюринга. Нормальные алгоритмы Маркова.

36

2

Машина Тьюринга. Нормальные алгоритмы Маркова.

Лекция

Урок изучения нового материала

Методические рекомендации по выполнению ПР

Проверка ВСР

1

Выполнение расчетно-графической работы №17 /3 часа/

37

2

Конструирование машин Тьюринга.

Практическое занятие Комбинированный

УМК

2

38

2

Дифференцированный зачет

Практическое занятие Урок контроля знаний, умений и навыков

УМК

Практическая проверка

Всего 76 часов  

Основная литература

№

п/п

Наименование

Автор

Издательство, год издания

1

Элементы математической логики: учебник для студ. Учреждений сред.проф.образования/ В.И.Игошин

Игошин В.И.

М.: Издательский центр «Академия», 2016. – 320 с.

Дополнительная литература

№

п/п

Наименование

Автор

Издательство, год издания

2

Математическая логика: учеб. пособие для студ. высш. учеб. заведений  / И.А. Лавров; под ред. Л.Л. Максимовой.

Лавров И.А.

М.: Издательский центр «Академия», 2006. – 240 с.

3

Дискретная математика.

Спирина М.С., Спирин П.А.

М.: Издательский центр «Академия»,  2010. – 368 с.

4

Математическая логика и теория алгоритмов.

Игошин В.И.

М.: Издательский центр «Академия»,  2008. – 448 с.

5

Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие для студ. высш. учеб. заведений.

Игошин В.И.

М.: Издательский центр «Академия»,  2007. – 304 с.

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

6

http://www.intuit.ru

7

http://habrahabr.ru/blogs/programming/