Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Свидетельство о публикации

Автоматическая выдача свидетельства о публикации в официальном СМИ сразу после добавления материала на сайт - Бесплатно

Добавить свой материал

За каждый опубликованный материал Вы получите бесплатное свидетельство о публикации от проекта «Инфоурок»

(Свидетельство о регистрации СМИ: Эл №ФС77-60625 от 20.01.2015)

Инфоурок / Математика / Другие методич. материалы / Календарно-тематический план по дисциплине "Элементы математической логики"
ВНИМАНИЮ ВСЕХ УЧИТЕЛЕЙ: согласно Федеральному закону № 313-ФЗ все педагоги должны пройти обучение навыкам оказания первой помощи.

Дистанционный курс "Оказание первой помощи детям и взрослым" от проекта "Инфоурок" даёт Вам возможность привести свои знания в соответствие с требованиями закона и получить удостоверение о повышении квалификации установленного образца (180 часов). Начало обучения новой группы: 28 июня.

Подать заявку на курс
  • Математика

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

библиотека
материалов










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

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


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

Учебная дисциплина ЕН. 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



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


И-Р 1http://230101.ru/teor_algor/lect_t_a.htm

И-Р 2http://www.intuit.ru


Подайте заявку сейчас на любой интересующий Вас курс переподготовки, чтобы получить диплом со скидкой 50% уже осенью 2017 года.


Выберите специальность, которую Вы хотите получить:

Обучение проходит дистанционно на сайте проекта "Инфоурок".
По итогам обучения слушателям выдаются печатные дипломы установленного образца.

ПЕРЕЙТИ В КАТАЛОГ КУРСОВ

Автор
Дата добавления 16.11.2015
Раздел Математика
Подраздел Другие методич. материалы
Просмотров195
Номер материала ДВ-160411
Получить свидетельство о публикации
Похожие материалы

Включите уведомления прямо сейчас и мы сразу сообщим Вам о важных новостях. Не волнуйтесь, мы будем отправлять только самое главное.
Специальное предложение
Вверх