РОСЖЕЛДОР
Федеральное государственное бюджетное образовательное учреждение высшего образования
«Ростовский государственный университет путей сообщения»
(ФГБОУ ВО РГУПС)
Тамбовский техникум железнодорожного транспорта
(ТаТЖТ- филиал РГУПС)
УТВЕРЖДАЮ
Зам. директора по УВР
__________ О.И. Тарасова
__________________20 г.
Календарно - тематический план
на 2 семестр 2017-2018 учебного года
Курс II группы __ТАКС 211, ТАКС 212______
Дисциплина Элементы математической логики
Преподаватели: Горшенёва Л.С.
Коды формируемых компетенций ОК 1-9, ПК 1.1, 1.2, 1.4, 2.3, 3.5
Количество часов по учебному плану - 63 ч.
в том числе: практические занятия -24 ч. Консультации -2 ч.
Составлен в соответствии с рабочей программой, утвержденной методическим советом техникума _________________201 г.
Рассмотрен на заседании цикловой комиссии: общеобразовательных, математических и общих естественнонаучных дисциплин
Протокол от ____________201 г. № _____
Председатель цикловой комиссии_______________________ М.В.Астраханцева
| № п/п | Наименование разделов и тем | Кол-во часов | Типы занятий | Наглядные пособия | Задания для студентов |
| 1. | Математика и научно-технический прогресс. | 2/2 | Урок усвоения новых знаний | Раздаточный дидактический материал | конспект |
| 2. | Высказывания и высказывательные формы. Отрицание высказываний. | 2/4 | Урок усвоения новых знаний | Раздаточный дидактический материал | (1) с. 78 |
| 3. | Конъюнкция, дизъюнкция, импликация. Штрих Шиффера, стрелка Пирса. | 2/6 | Урок усвоения новых знаний | Раздаточный дидактический материал | (1)с. 96 |
| 4. | . Практическая работа №1 «Определение таблиц истинности функций» | 2/8 | Урок освоения новых знаний | Раздаточный дидактический материал | Оформить отчет |
| 5. | Формулы алгебры высказываний. Классификация формул. Равносильные преобразования. Упрощение формул. | 2/10 | Урок усвоения новых знаний | Раздаточный дидактический материал | (1) с. 114 |
| 6. | Практическая работа №2 «Составление таблиц истинности для формул алгебры высказываний» | 2/12 | Урок освоения новых умений и навыков | Раздаточный дидактический материал | Оформить отчет |
| 7. | Составление формул по заданным таблицам истинности. Понятие нормальных форм. Приведение формул к СНФ с помощью равносильных преобразований. | 2/14 | Урок усвоения новых знаний | Раздаточный дидактический материал | (2) с. 7 |
| 8. | Практическая работа №3 «Приведение формул алгебры к ДНФ» | 2/16 | Урок освоения новых знаний | Раздаточный дидактический материал | Оформить отчет |
| 9. | Упрощение формул логики до минимальной ДНФ. Карты Карно. | 2/18 | Урок усвоения новых умений и навыков | Раздаточный дидактический материал | (2) с. 124 |
| Практическая работа №4 «Упрощение формул логики» | 2/20 | Урок освоения новых знаний | Раздаточный дидактический материал | Оформить отчет | |
| 11. | Прямая и обратная теоремы. Необходимые и достаточные условия. | 2/22 | Урок усвоения новых знаний | Раздаточный дидактический материал | (2) с. 125 |
| 12. | Практическая работа №5 «Решение логических задач» | 2/24 | Урок освоения новых умений и навыков | Раздаточный дидактический материал | Оформить отчет |
| 13. | Общие понятия теории множеств. | 2/26 | Урок усвоения новых знаний | Раздаточный дидактический материал | (1) с.247, |
| Классификация множеств. Мощность. | 2/28, | Урок усвоения новых знаний | Раздаточный дидактический материал | (1) с. 252 | |
| 15. | Кортежи и декартово произведение множеств. Диаграммы Эйлера-Венна. Круги Эйлера. | 2/30 | Урок усвоения новых знаний | Раздаточный дидактический материал | (1) с.256 |
| 16. | Практическая работа №6 «Представление множеств диаграммами Эйлера-Венна» | 2/32 | Урок освоения новых знаний | Раздаточный дидактический материал | Оформить отчет |
| 17. | Алгебра Буля. Принцип двойственности. Бинарные отношения и их свойства. Соответствие между множествами. | 2/34 | Урок усвоения новых знаний | Раздаточный дидактический материал | (1) с.328 |
| 18. | Практическая работа №7 «Определение соответствий между множествами» | 2/36 | Урок освоения новых знаний | Раздаточный дидактический материал | Оформить отчет |
| 19. | Булевы функции. | 2/38 | Урок усвоения новых знаний | Раздаточный дидактический материал | (2) с.212 |
| 20. | Выражение булевых функций через дизъюнкцию, конъюнкцию и отрицание. | 2/40 | Урок усвоения новых знаний | Раздаточный дидактический материал | (2) с.214 |
| 21. | Канонический многочлен Жигалкина. | 2/42 | Урок усвоения новых знаний | Раздаточный дидактический материал | (2) с. 274 |
| 22. | Практическая работа №8 «Построение полинома Жигалкина » | 2/44 | Урок освоения новых знаний | Раздаточный дидактический материал | Оформить отчет |
| 23. | Важнейшие замкнутые классы. Теорема Поста. | 2/46 | Урок усвоения новых знаний | Раздаточный дидактический материал | (2) с 281 |
| 24. | Практическая работа №9 «Проверка систем функций на полноту» | 2/48 | Урок освоения новых знаний | Раздаточный дидактический материал | Оформить отчет |
| 25. | Предикаты и высказывательные формы. Множество истинности предиката. Равносильность и следование предикатов. | 2/50 | Урок усвоения новых знаний | Раздаточный дидактический материал | (2) с.237 |
| 26, | Практическая работа №10«Приведение формул к предваренной нормальной форме» | 2/52 | Урок освоения новых знаний | Раздаточный дидактический материал | Оформить отчет |
| 27. | Кванторы. Отрицание предложений с кванторами. | 2/54 | Урок усвоения новых знаний | Раздаточный дидактический материал | (2 с.279 |
| 28. | Численные кванторы. | 2/56 | Урок усвоения новых знаний | Раздаточный дидактический материал | (2 с.285 |
| 29. | Практическая работа №11 «Построение отрицаний с высказываниями». | 2/58 | Урок освоения новых знаний | Раздаточный дидактический материал | Оформить отчет |
| 30. | Практическая работа №12 «Приведение примеров логических функций» | .2/60 | Урок усвоения новых знаний | Раздаточный дидактический материал | (2)с.338 |
| 31. | Запись на языке логики предикатов различных предложений. Строение математических теорем | 1/61 | Урок освоения новых знаний | Раздаточный дидактический материал | Оформить отчет |
| 32. | Дифференцированный зачет | 2/63 |
Литература:
Ивин, А. А. Практическая логика: задачи и упражнения: учебное пособие для СПО / А. А. Ивин. — 2-е изд., испр. и доп. — М.: Издательство Юрайт, 2017. — 129 с. — (Серия: Профессиональное образование). — ISBN 978-5-534-05363-0. — Режим доступа: www.biblio-online.ru/book/35170CD8-B3FB-4EC1-8374-4FF3C532028C
Консультации - 2 ч
1. Булевы функции - 2/2
Преподаватель Горшенёва Л.С.