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

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

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

КАЛЕНДАРНО – ТЕМАТИЧЕСКИЙ ПЛАН Дисциплина ЕН.02 Элементы математической логики

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

Министерство образования Московской области

Учредитель

ГБПОУ МО «Серпуховский колледж»

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

УТВЕРЖДАЮ

Директор колледжа

_______ Т.В.Фёдорова

«____» _________ 2015 .


СОГЛАСОВАНО

Зам. директора по УР

_______ С.А.Назарова

«____» _________ 2015











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


Группа 351,352, курс 3, семестр I



ПреподавательАбросимова М.А.

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

Специальность 230401 «Информационные системы» (по отраслям)

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


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

утвержденной директором колледжа

Рассмотрен на заседании предметной(цикловой) комиссии математического и общего естественнонаучного цикла



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

Председатель предметной (цикловой) комиссии./______________________



















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


Таблица 1











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

дисциплина

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

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

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

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

Всего часов

в т.ч.

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

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

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

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

1

2

3

4

5

6

7

8

Всего

144

48

96

82

-

14

-

3курс,5семестр

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

144

48

96

82

-

14

-


Содержание обучения по дисциплине «Элементы математической логики ». Таблица 2.

занятия

дата


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

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

Материальное и информационное обеспечение занятий

(№ позиций из таблицы 2а)

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

Формируемые ПК,ОК

Кол-во

часов

Вид занятия

Вид задания

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

Коли-

чество

(час.)


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



1

2

3

4

5

6

7

8

9

10

11

5 семестр

Введение.

2


1


1.


Инструктаж по ОТ и безопасности при работе студентов в кабинетах ,лабораториях техникума. Введение.

2

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

1-6, ОИ 1, ОИ 2

ВСР 3


Интернет[1-6], справочники и др. лит-ра[1,2]

1

Входной контроль тест

ПК 1.1

ОК1-9


Раздел 1. Алгебра высказываний.

36


18


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

16


8


2


Понятие высказывания. Простые и сложные высказывания.

2


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

1-6, ОИ 1, ОИ 2

ВСР 3

ВСР 4

Основные источники лит-ра[1,2]

1

Групповой опрос

ПК 1.1

ОК1-9


3


Логические величины, операции, выражения.

2

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

1-6, ОИ 1, ОИ 2

ВСР 3

ВСР 4

Основные источники лит-ра[1,2]

1

проверка тетрадей

ПК 1.1

ОК1-9


4


Конъюнкция и дизъюнкция.

2

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

1-6, ОИ 1, ОИ 2

ВСР 3

ВСР 4

Основные источники лит-ра[1,2]

1

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

ПК 1.1

ОК1-9


5


Логические выражения. Основные законы алгебры логики.

2

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

1-6, ОИ 1, ОИ 2

ВСР 3

ВСР 4

Основные источники лит-ра[1,2]

1

Фронтальный опрос

ПК 1.1

ОК1-9

6


Импликация и эквивалентность

2

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

1-6, ОИ 1, ОИ 2

ВСР 1

Основные источники лит-ра[1,2]

1

проверка тетрадей

ПК 1.1

ОК1-9

7


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

2

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

1-6, ОИ 1, ОИ 2

ВСР 2

ВСР 4

Основные источники лит-ра[1,2]

1

Групповой опрос

ПК 1.1

ОК1-9

8


Преобразование логических выражений

2

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

1-6, ОИ 1, ОИ 2

ВСР 1

Основные источники лит-ра[1,2]

1

проверка тетрадей

ПК 1.1

ОК1-9

9


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

2

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

1-6, ОИ 1, ОИ 2

ВСР 2

Основные источники лит-ра[1,2]

1

Групповой опрос

ПК 1.1

ОК1-9

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

10


5


10


Законы алгебры высказываний.

2

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

1-6, ОИ 1, ОИ 2

ВСР 3

Основные источники лит-ра[1,2]

1

проверка тетрадей

ПК 1.1

ОК1-9

11


Равносильные преобразования.

2

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

1-6, ОИ 1, ОИ 2

ВСР 3

Основные источники лит-ра[1,2]

1

Выборочная проверка работ

ПК 1.1

ОК1-9

12


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

2

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

1-6, ОИ 1, ОИ 2

ВСР 3

Основные источники лит-ра[1,2]

1

Проверка тетрадей

ПК 1.1

ОК1-9

13


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

2

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

1-6, ОИ 1, ОИ 2

ВСР1

Основные источники лит-ра[1,2]

1

Проверка тетрадей

ПК 1.1

ОК1-9

14


ПЗ № 4 Упрощение формул

2

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

1-6, ОИ 1, ОИ 2

ВСР 2

Основные источники лит-ра[1,2]

1

Проверка тетрадей

ПК 1.1

ОК1-9

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

6


3


15


Понятие нормальных форм.

2

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

1-6, ОИ 1, ОИ 2

ВСР3

Основные источники лит-ра[1,2]

1

Фронтальный опрос

ПК 1.1

ОК1-9

16


Нормальные и совершенные нормальные формы.

2

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

1-6, ОИ 1, ОИ 2

ВСР1

Интернет[1-6], справочники и др. лит-ра[1,2]

1

Проверка конспектов

ПК 1.1

ОК1-9

17


ПЗ № 5 Приведение формул к совершенным нормальным формам

2

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

1-6, ОИ 1, ОИ 2

ВСР 2

Основные источники лит-ра[1,2]

1

Проверка тетрадей

ПК 1.2

ОК1-9

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

4


2



18


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

2

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

1-6, ОИ 1, ОИ 2

ВСР3

Основные источники лит-ра[1,2]

1

Фронтальный опрос

ПК 1.1

ОК1-9

19


Решение логических задач

2

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

1-6, ОИ 1, ОИ 2

ВСР3

Основные источники лит-ра[1,2]

1

опрос фронтальный

ПК 1.2

ОК1-9

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

32


16


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

20


10


20


Множества и подмножества.

2

лекция

1-6, ОИ 1, ОИ 2

ВСР3

Основные источники лит-ра[1,2]

1

опрос фронтальный

ПК 1.1

ОК1-9

21


Решение задач по теме: «теория множеств»

2

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

1-6, ОИ 1, ОИ 2

ВСР3

Основные источники лит-ра[1,2]

1

опрос фронтальный

ПК 1.1

ОК1-9

22


Операции над множествами

2

лекция

1-6, ОИ 1, ОИ 2

ВСР3

Основные источники лит-ра[1,2]

1

Проверка тетрадей

ПК 1.1

ОК1-9

23


Решение задач по теме :

«множества»

2

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

1-6, ОИ 1, ОИ 2

ВСР3

Основные источники лит-ра[1,2]

1

Проверка тетрадей

ПК 1.1

ОК1-9

24


Свойства операций над множествами

2

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

1-6, ОИ 1, ОИ 2

ВСР3

Основные источники лит-ра[1,2]

1

опрос фронтальный

ПК 1.1

ОК1-9

25


ПЗ № 6 Операции над множествами.

2

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

1-6, ОИ 1, ОИ 2

ВСР 2

Основные источники лит-ра[1,2]

1

Проверка тетрадей

ПК 1.1

ОК1-9

26


Решение задач по теме: «операции над множествами»

2

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

1-6, ОИ 1, ОИ 2

ВСР3

Основные источники лит-ра[1,2]

1

Проверка тетрадей

ПК 1.1

ОК1-9

27


ПЗ № 7 Круги Эйлера решение задач.

2

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

1-6, ОИ 1, ОИ 2

ВСР 2

Основные источники лит-ра[1,2]

1

Проверка тетрадей

ПК 1.1

ОК1-9

28


Отображения.


2

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

1-6, ОИ 1, ОИ 2

ВСР3

Основные источники лит-ра[1,2]

1

опрос фронтальный

ПК 1.1

ОК1-9

29


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

2

лекция

1-6, ОИ 1, ОИ 2


Основные источники лит-ра[1,2]

1

Проверка тетрадей

ПК 1.1

ОК1-9

Тема 2.2. Булевы функции от одного, двух аргументов и от n аргументов.

12


6


30


Булева алгебра.

2

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

1-6, ОИ 1, ОИ 2

ВСР 3

ВСР 5

Дополнительные источники лит-ра[1,2]

1

опрос фронтальный

ПК 1.4. 

ПК2.3 ОК1-9

31


Приведение Булевой функции к СДНФ,СКНФ

2

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

1-6, ОИ 1, ОИ 2

ВСР 3

ВСР 5

Основные источники лит-ра[1,2]

1

опрос фронтальный

ПК 1.4. 

ПК2.3 ОК1-9

32


Понятие минимальной ДНФ

2

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

1-6, ОИ 1, ОИ 2

ВСР 3

ВСР 5

Основные источники лит-ра[1,2]

1

опрос фронтальный

ПК 1.4. 

ПК2.3 ОК1-9

33


Понятие вычета по модулю N. Операции над вычетами.

2

лекция

1-6, ОИ 1, ОИ 2

ВСР 3

ВСР 5

Основные источники лит-ра[1,2]

1

опрос фронтальный

ПК 1.4. 

ПК2.3 ОК1-9

34


Понятие полноты множества функций. Замкнутые классы.

2

лекция

1-6, ОИ 1, ОИ 2

ВСР 3

ВСР 5

Основные источники лит-ра[1,2]

1

опрос фронтальный

ПК 1.4. 

ПК2.3 ОК1-9

35


Применение логики высказывания в технике и кибернетики

2

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

1-6, ОИ 1, ОИ 2

ВСР 3

ВСР 5

Основные источники лит-ра[1,2]

1

опрос фронтальный

ПК 1.4. 

ПК2.3 ОК1-9

Раздел 3. Логика предикатов.

18


9


Тема 3.1 Основные понятия, связанные с предикатами.(4часа)

4


2


36


Понятие предиката

2

лекция

1-6, ОИ 1, ОИ 2

ВСР 3

Основные источники лит-ра[1,2]

1

опрос фронтальный

ПК 1.2

.  ОК1-9

37


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

2

лекция

1-6, ОИ 1, ОИ 2

ВСР 3

Основные источники лит-ра[1,2]

1

опрос фронтальный

ПК 1.2

.  ОК1-9

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

4


2


38


Кванторные операции

2

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

1-6, ОИ 1, ОИ 2

ВСР 3

Основные источники лит-ра[1,2]

1

опрос фронтальный

ПК 1.2

.  ОК1-9

39


Формулы логики предикатов.

2

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

1-6, ОИ 1, ОИ 2

ВСР 3

Основные источники лит-ра[1,2]

1

опрос фронтальный

ПК 1.2

.  ОК1-9

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

10


5


40


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

2

лекция

1-6, ОИ 1, ОИ 2

ВСР 3

Основные источники лит-ра[1,2]

1

Проверка тетрадей

ПК 2.3. 

ОК1-9

41


Подготовка к контрольной работе.

2

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

1-6, ОИ 1, ОИ 2

ВСР 3

Основные источники лит-ра[1,2]

1

опрос фронтальный

ПК 1.1. 

ОК1-9

42


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

2

Урок контроля

1-6, ОИ 1, ОИ 2

ВСР 3

Дополнительные источники лит-ра[1,2]

1

Проверка тетрадей

ОК1-9

43


Анализ результатов контрольной работы.

Применение логики предикатов

2

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

1-6, ОИ 1, ОИ 2

ВСР 3

Основные источники лит-ра[1,2]

1

Проверка тетрадей

ПК 1.1. 

ОК1-9

44


Контактно-релейные схемы

2

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

1-6, ОИ 1, ОИ 2

ВСР 3

Основные источники лит-ра[1,2]

1

Проверка тетрадей

ПК 1.1. 

ОК1-9

Раздел 4. Элементы теории алгоритмов.

8


4


Тема 4. Элементы теории и практики кодирования

8


4


45


Системы счисления для представления информации в ЭВМ

2

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

1-6, ОИ 1, ОИ 2

Сообщение по системам счисления

Интернет[1-6], справочники и др. лит-ра[1,2]

1

опрос фронтальный

ПК 1.2

.  ОК1-9

46


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

2

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

1-6, ОИ 1, ОИ 2

ВСР 3

ВСР11

Основные источники лит-ра[1,2]

1

Защита сообщений

ПК 1.4. 

ОК 10. 

47


Обобщающий урок по материалам курса

2

Урок обобщения и систематизации

1-6, ОИ 1, ОИ 2

ВСР 9

ВСР 10

Основные источники лит-ра[1,2]

1

опрос фронтальный

ОК1-9

48


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

2

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

1-6, ОИ 1, ОИ 2

ВСР 3


Интернет[1-6], справочники и др. лит-ра[1,2]

1

Проверка тетрадей,,опрос фронтальный

ПК 2.3. 

ОК1-9

Итого:

96


48


Всего :

96


48






Материальное и информационное обеспечение занятий


Таблица 2а

п/п

Материальное и информационное обеспечение занятий

1

2

1

Рабочие места для обучающихся и преподавателя, аудиторная доска

2

Комплект учебно-методической документации (рабочая программа, КТП, поурочное планирование, учебники и учебные пособия, электронные учебники,видеоматериалы, сборники задач, карточки-задания, комплекты тестовых заданий, раздаточный материал, комплекты практических работ)

3

Наглядные пособия (схемы, таблицы)

4

комплект компьютерных презентаций

5

Технические средства обучения: ПЭВМ с соответствующим лицензионным программным обеспечением, проектор, интерактивная доска, колонки

6

Правила техники безопасности и производственной санитарии



























Перечень рекомендуемых учебных изданий, Интернет-ресурсов, дополнительной литературы


Основные источники(ОИ):

Таблица 3

п/п

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

Автор

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

ОИ 1

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

Игошин В.И.

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

ОИ 2

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

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

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



Дополнительные источники (ДИ):

Таблица 4

п/п

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

Автор

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

ДИ 1

Математическая логика. Курс лекций и практических занятий.

Шапорев С.Д.

СПб.:БХВ-Петербург, 2009.

ДИ 2

Алгебра логики в задачах.

Гиндикин С.Г.

Электронная библиотека

Московского государственного университета. http://lib.mexmat.ru/books/1383



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



И-Р 1

www.osp.mesi.ru (сайт учебного процесса МЭСИ). Балюкевич Э.Л., Ковалева Л.Ф. Романников А.Н. Дискретная математика.

И-Р 2

www.booka.ru/booka_topic_6114?id=97427 Дискретная математика. Курс лекций для студентов.

И-Р 3

http://www.dgap.mipt.ru/~artema/index.html - Искусственный интеллект и математика, труды Станислава Лема и др. Небольшая электронная библиотека.

И-Р 4

http://www.srcc.msu.su/num_anal/ - Интернет-ресурс содержит различные материалы по численному анализу, включая пакет вычислительных программ (Библиотека численного анализа НИВЦ МГУ) и разнообразные учебно - методические материалы.

И-Р 5

http://comp-science.narod.ru/ - Учителям информатики и математики и их любознательным ученикам (дидактические материалы по информатике и математике).

И-Р 6

http://crow.academy.ru/dm/ - Московский Государственный Университет имени М.В.Ломоносова. - Страничка курса "Дискретная математика"

И-Р 7

http://mech.math.msu.su/department/dm/dmmc/ - Интернет-страница "Дискретная Математика и Математическая Кибернетика" создана и поддерживается коллективом математиков, работающих в области дискретной математики.

И-Р 8

http://alglib.chat.ru/ - Библиотека алгоритмов. Математические алгоритмы. Теория чисел. Линейная алгебра.

И-Р 9

http://www.isu.ru/~slava/do/disc/curshome.htm - Теоретический курс дискретной математики. Примеры решения задач.

И-Р 10

http://mat-game.narod.ru/ - Математическая гимнастика. Математические задачи, головоломки, шарады и курьезы.

И-Р 11

http://www.radmar.narod.ru/ - Основание математики как основа научного знания - Логика математики. Основание математики. Основание теории множеств.

И-Р 12

http://www.ipclub.ru/users/fuzzy/ - Нечеткая логика. Теория и история нечеткой логики. Использование нечеткой логики в управлении промышленными объектами. Нечеткая логика в бизнесе и финансах.

И-Р 13

http://www.logic.ru/Russian - Логика. - Исследования в области математической логики.

И-Р 14

http://www.isu.ru/~slava/do/disc/predlog.htm - Учебно-методические материалы по дискретной математике.

И-Р 15

http://jurinfor.exponenta.ru/ - Перспективные компьютерные исследования и информационные технологии. Отражение научно-образовательной деятельности по дискретной математике, информатике и информационным технологиям.

И-Р 16

http://comput.com.ua/index.php?art=22 – журнал «Компьютер» -раздел Скачать - программное обеспечение









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



ВСР 1

Подготовка к практическим занятиям.

ВСР 2

Оформление отчетов по выполненным работам.

ВСР 3

Углубленное изучение отдельных тем дисциплины с использованием дополнительной литературы и Internet-ресурсов.

ВСР 4

Конструирование и реализация собственной индивидуальной информационной системы по одному из вопросов дисциплины с использованием технологии информационных поисковых систем.

ВСР 5

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

ВСР 6

Выполнение проектов по использованию прикладных программных продуктов для обработки и визуализации профессиональной информации.

ВСР 7

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

ВСР 8

Знакомство с законодательными и правовыми документами по использованию ИКТ в профессиональной деятельности.

ВСР 9

Изучение печатных и Internet-источников по вопросам методологической, психологической, методической аспектам использования ИКТ в профессиональной деятельности.

ВСР 10

Изучение и анализ порталов по профессии или специальности (отечественных и зарубежных).

ВСР 11

Подготовка к зачету



















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

Идёт приём заявок на международный конкурс по математике "Весенний марафон" для учеников 1-11 классов и дошкольников

Уникальность конкурса в преимуществах для учителей и учеников:

1. Задания подходят для учеников с любым уровнем знаний;
2. Бесплатные наградные документы для учителей;
3. Невероятно низкий орг.взнос - всего 38 рублей;
4. Публикация рейтинга классов по итогам конкурса;
и многое другое...

Подайте заявку сейчас - https://urokimatematiki.ru


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

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

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


"Инфоурок" приглашает всех педагогов и детей к участию в самой массовой интернет-олимпиаде «Весна 2017» с рекордно низкой оплатой за одного ученика - всего 45 рублей

В олимпиадах "Инфоурок" лучшие условия для учителей и учеников:

1. невероятно низкий размер орг.взноса — всего 58 рублей, из которых 13 рублей остаётся учителю на компенсацию расходов;
2. подходящие по сложности для большинства учеников задания;
3. призовой фонд 1.000.000 рублей для самых активных учителей;
4. официальные наградные документы для учителей бесплатно(от организатора - ООО "Инфоурок" - имеющего образовательную лицензию и свидетельство СМИ) - при участии от 10 учеников
5. бесплатный доступ ко всем видеоурокам проекта "Инфоурок";
6. легко подать заявку, не нужно отправлять ответы в бумажном виде;
7. родителям всех учеников - благодарственные письма от «Инфоурок».
и многое другое...

Подайте заявку сейчас - https://infourok.ru/konkurs

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

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