Календарно-тематический план по дисциплине Элементы математической логики

КАЛЕНДАРНО-ТЕМАТИЧЕСКИЙ ПЛАН

УЧЕБНОЙ ДИСЦИПЛИНЫ

Преподаватель Черкалин Е.А.

Учебная дисциплина ЕН. 02 Элементы математической логики

(индекс, наименование)

Коды формируемых компетенций ОК 1 - 10, ПК 1.1, ПК 1.2, ПК 2.4, ПК 3.4

Специальность (профессия)230115 Программирование в компьютерных

(код, наименование)

системах

Негосударственное образовательное учреждение

среднего профессионального образования

«Северо-Кавказский техникум «Знание» (г.Краснодар)

УТВЕРЖДАЮ УТВЕРЖДАЮ УТВЕРЖДАЮ УТВЕРЖДАЮ

Заместитель директора Заместитель директора Заместитель директора Заместитель директора

по учебно-методической по учебно-методической по учебно-методической по учебно-методической

работе работе работе работе

_______/_____________ ________/_____________ ________/____________ ________/_____________

«____»________20____г. «____»_______20____г. «____»_______20____г. «____»_______20____г.

КАЛЕНДАРНО-ТЕМАТИЧЕСКИЙ ПЛАН

Преподаватель Черкалин Е.А.

Учебная дисциплина ЕН. 02 Элементы математической логики

Специальность (профессия)230115 Программирование в компьютерных

(код и наименование специальности (профессии))

системах

Составлен в соответствии с рабочей программой дисциплины, утвержденной_____________________________________________________

Группа___________________________________________________________

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

__________________________________________________________________

Протокол№_____от«_____»_____________________20____г.

Председатель цикловой методической комиссии ___________/___________

Протокол№_____от«_____»_____________________20____г.

Председатель цикловой методической комиссии ___________/___________

Протокол№_____от«_____»_____________________20____г.

Председатель цикловой методической комиссии ___________/___________

Протокол№_____от«_____»_____________________20____г.

Председатель цикловой методической комиссии ___________/___________

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

Таблица 1

Курс, семестр

Учебная нагрузка обучающихся (час.)

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

Самостоятельная работа обучающегося

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

Всего часов

в т.ч.

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

лабораторные работы

практические занятия

Курсовая работа (проект) (для СПО)

1

2

3

4

5

6

7

8

3 курс,

5семестр

32

10

22

10

-

12

-

3 курс,

6 семестр

80

26

54

24

-

30

-

-Всего

112

36

76

34

-

42

Содержание обучения по учебной дисциплине

Таблица 2

№ заня-тия

Наименование разделов, тем, занятий

Обязательная ученая нагрузка

Материальное и информацион-ное обеспечение занятий (№позиций и таблицы 2а,2б,2в)

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

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

Приме-чание

Кол-во

часов

Вид

занятия

Вид задания

информационное обеспечение (№ позиций из таб. 2б, 2в)

Кол-во час.

1

2

3

4

5

6

7

8

9

10

Раздел 1 Формулы логики

8

4

Тема 1.1 Логические операции. Формулы логики. Таблицы истинности

2

2

5 семестр

1

Тема 1.1.1 Понятие высказывания. Основные логические операции. Формулы логики. Таблицы истинности

2

Лекция

ОИ 1

Конспект, решение задач

ОИ 1 стр. 13-18, стр. 164 №8.1.1 а, б

2

Письменная проверка выполнения практических работ, решенных задач и конспектов

Тема 1.2 Законы алгебры логики

6

2

2

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

2

Лекция

ОИ 1

3

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

2

Практ.

ОИ1

Конспект

ОИ 1 стр. 18-23

1

Письменная проверка выполнения практических работ, решенных задач и конспектов

4

Тема 1.2.3 Составление таблиц истинности

2

Практ. зан.

ОИ 1

Решение задач

ОИ 1 стр. 164 № 8.1.1. в, г

1

Раздел 2 Булевы функции

14

6

Тема 2.1 Понятие функции алгебры логики. Представление функции в совершенных нормальных формах

6

3

5

Тема 2.1.1 Понятие функции алгебры логики. Представление функции в совершенных нормальных формах (ДНФ, КНФ)

2

Лекция

ОИ 1

Конспект

ОИ 1 стр. 23-28

1

Письменная проверка выполнения практических работ, решенных задач и конспектов

6

Тема 2.1.2 Представление булевой функции в виде совершенной ДНФ

2

Практ. зан.

ОИ 1

Решение задач

ОИ 1 стр. 164 № 8.1.2 а,г

1

7

Тема 2.1.3 Представление булевой функции в виде совершенной КНФ

2

Практ. зан.

ОИ 1

Решение задач

ОИ 1 стр. 164 № 8.1.3 б, в

1

Тема 2.2 Операция двоичного сложения. Многочлен Жегалкина

2

1

8

Тема 2.2.1 Операция двоичного сложения. Многочлен Жегалкина

2

Лекция

ОИ 1

Конспект

ОИ 1 стр. 36-37

1

Письменная проверка выполнения практических работ, решенных задач и конспектов

Тема 2.3 Основные классы функций. Полнота множества функций. Теорема поста

6

2

9

Тема 2.3.1 Основные классы функций. Полнота множества функций. Теорема поста

2

Лекция

ОИ 1

Конспект

ОИ 1 стр. 35-36

1

Письменная проверка выполнения практических работ, решенных задач и конспектов

10

Тема 2.3.2 Проверка булевой функции на принадлежность к классам ; проверка множества булевых функций на полноту

2

Практ. зан.

ОИ 1

11

Тема 2.3.3 Проверка булевой функции на принадлежность к классам ; проверка множества булевых функций на полноту

2

Практ. зан.

ОИ 1

Конспект

ОИ 1 стр. 37-38

1

Раздел 3 Основы теории множеств

10

5

Тема 3.1 Основы понятия теории множеств

2

2

6 семестр

12

Тема 3.1.1 Основы понятия теории множеств

2

Лекция

ОИ 1

Конспект

ОИ 1 стр. 9-11

2

Письменная проверка выполнения практических работ, решенных задач и конспектов

Тема 3.2 Теоретико- множественные операции и их связь с логическими операциями

8

3

13

Тема 3.2.1 Теоретико- множественные диаграммы. Операции над множествами и их свойства. Мощность множества. Декартово произведение.

2

Лекция

Письменная проверка выполнения практических работ, решенных задач и конспектов

14

Тема 3.2.2 Решение задач на выполнение теоретико - множественных операций

2

Практ. зан.

ОИ 1

Решение задач

ОИ 1 стр. 181 № 8.5.1

1

15

Тема 3.2.3 Решение задач на выполнение теоретико - множественных операций

2

Практ. зан.

ОИ 1

Решение задач

ОИ 1 стр. 181 № 8.5.2

1

16

Тема 3.2.4 Решение задач на подсчет количества элементов

2

Практ. зан.

ОИ 1

Решение задач

ОИ 1 стр. 181 № 8.5.3

1

Раздел 4 Предикаты. Бинарные отношения.

12

4

Тема 4.1 Предикаты

6

2

17

Тема 4.1.1 Логика предикатов. Логические операции над кванторами.

2

Лекция

ОИ 1

Конспект

ОИ 1 стр.56-60

1

Письменная проверка выполнения практических работ, решенных задач и конспектов

18

Тема 4.1.2 Определение логического значения для высказываний.

2

Практ. зан.

19

Тема 4.1.3 Построение отрицаний к предикатам, формализация предложений с помощью логики предикатов.

2

Практ. зан.

ОИ 1

Решение задач

ОИ 1 стр.172-173 №8.3.1-8.3.2

1

Тема 4.2 Бинарные отношения и их виды.

6

2

20

Тема 4.2.1 Понятие бинарного отношения. Рефлективность, симметричность, транзитивность бинарного отношения.

2

Лекция

21

Тема 4.2.2 Бинарные отношения

2

Практ. зан.

ОИ 1

Решение задач

ОИ 1 стр. 174 № 8.3.5

1

Письменная проверка выполнения практических работ, решенных задач и конспектов

22

Тема 4.2.3 Бинарные отношения

2

Практ. зан.

ОИ 1

Решение задач

ОИ 1 стр. 176 № 8.3.7 а, г, з, к

1

Раздел 5 Теория отображений

2

Тема 5.1 Элементы теории отображений и алгебры подстановок.

2

23

Тема 5.1.1 Понятие отображения. Способы задания. Свойства. Алгебра подстановок

2

Лекция

Раздел 6 Расширения традиционной логики

6

4

Тема 6.1 Положения модальной логики

6

4

24

Тема 6.1.1 Модальная логика. Трехзначная семантика для модальной логики

2

Лекция

ОИ 1

Конспект

ОИ 1 стр. 79-81

1

Письменная проверка выполнения практических работ, решенных задач и конспектов

25

Тема 6.1.2 Использование метода резолюций

2

Практ. зан

ОИ 1

Решение задач

ОИ 1 стр. 177 № 8.3.8 б, г, з, к, л

2

26

Тема 6.1.2 Использование метода резолюций

2

Практ. зан

ОИ 1

Решение задач

ОИ 1 стр. 177 № 8.3.8 в, д, е

1

Раздел 7 Метод математической индукции

6

Тема 7.1 Метод математической индукции

6

27

Тема 7.1.1 Принцип метода математической индукции. Разновидности метода математической индукции.

2

Лекция

28

Тема 7.1.2 Решение задач на метод математической индукции

2

Практ.

Письменная проверка выполнения практических работ, решенных задач и конспектов

29

Тема 7.1.2 Решение задач на метод математической индукции

2

Практ.

Раздел 8 Основы теории алгоритмов

8

6

Тема 8.1 Понятие алгоритма. Основные свойства алгоритмов.

2

2

30

Тема 8.1.1 Неформальное определение алгоритма. Примеры алгоритмов. Основные свойства алгоритмов. Парадигма процедурного программирования

2

Лекция

ОИ 1

Конспект

ОИ 1 стр. 82-86

2

Письменная проверка выполнения практических работ, решенных задач и конспектов

Тема 8.2 Алгоритмические проблемы. Проблема разрешимости.

6

4

31

Тема 8.2.1 Проблемы разрешимости. Примеры неразрешимых проблем. Понятие вычислимости и вычислительные процедуры.

2

Лекция

ОИ 1

Конспект

ОИ 1 стр. 106-108

2

Письменная проверка выполнения практических работ, решенных задач и конспектов

32

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

2

Практ. зан

ДИ 1

33

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

2

Практ. зан

ДИ 1

Решение задач

ДИ 1 стр.36-37 № 1-2, 10-11

2

Раздел 9 Алгоритмическое перечисление основных комбинаторных объектов

4

Тема 9.1 Алгоритмическое вычисление основных комбинаторных объектов

4

34

Тема 9.1.1 Понятие алгоритмического перечисления

2

Лекция

Письменная проверка выполнения практических работ, решенных задач и конспектов

35

Тема 9.1.2 Генерирование комбинаторных объектов

2

Практ. зан.

Раздел 10 Теория автоматов

6

4

Тема 10.1 Машина Тьюринга

2

2

36

Тема 10.1.1 Машины Тьюринга с разрешимой проблемой остановки. Линейно - ограниченные автоматы. Проблема остановки для линейно - ограниченных автоматов

2

Лекция

ОИ 1

Решение задач

ОИ 1 стр. 180 № 8.4.1 а, б

2

Письменная проверка выполнения практических работ, решенных задач и конспектов

Тема 10.2 Конечные автоматы

4

4

37

Тема 10.2.1 Автоматы с магазинной памятью. Конечные автоматы. Синтаксический анализ языков с помощью автоматов с магазинной памятью и конечных автоматов

2

Лекция

ДИ 2

Решение задач

ДИ 2 стр. 124 №5.4 а, №5.6 б

2

Письменная проверка выполнения практических работ, решенных задач и конспектов

38

Тема 10.2.2 Построение автоматов

2

Практ. зан.

ДИ 2

Решение задач

ДИ 2 стр. 124 № 5.4 б, № 5.6 в

2

ИТОГО

76

36

Материально-техническое обеспечение занятий

Таблица 2а

№

п/п

Материально-техническое обеспечение занятий

1

2

1

Классная доска и комплект учебной мебели

2

Комплект учебно-методической документации

3

Мультимедийная установка, компьютер, принтер

4

Таблицы, учебные стенды, плакаты

Информационно обеспечение обучения

Основные источники (ОИ): Таблица 2б

№ п/п

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

Автор

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

ОИ 1

Математическая логика и теория алгоритмов для программистов: учебное пособие

Гринченков Д.В.,

Потоцкий С.И.

КНОРУС, 2014

Дополнительные источники ДИ: Таблица 2в

№ п/п

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

Автор

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

ДИ 1

Сборник материалов для самостоятельной работы по дисциплине «Теория алгоритмов»

Ищенко О.В.

«Северо-Кавказский техникум «Знание», 2014

ДИ 2

Элементы дискретной математики: учебное пособие

Гончарова Г.А.,

Мочалин А.А.

ФОРУМ: ИНФРА-М, 2004

Интернет-ресурсы (И-Р):

И-Р 1230101.ru/teor_algor/lect_t_a.htm

И-Р 2intuit.ru