Департамент образования и науки Кемеровской области Государственное бюджетное образовательное учреждение Среднего профессионального образования «Прокопьевский политехнический техникум» СОГЛАСОВАНО Председатель МК _________________ Протокол ________ «___»_________ 20__ г. УТВЕРЖДАЮ Зам.директора по ТР _________ Зимогляд Г.М «___»__________ 20 __ г. КАЛЕНДАРНО – ТЕМАТИЧЕСКИЙ ПЛАН Учебной дисциплины Элементы математической логики На 2012 - 2013 учебный год Профессии: 230111 «Компьютерные сети» ОК 1 ОК 2 ОК 4 ОК 8 ОК 9 ПК 1.1 ПК 1.2. ПК 1.4 ПК 2.3 ПК 3.5 Прокопьевск, 2012 Календарно-тематический план по учебной дисциплине составлен в соответствии с рабочей программой дисциплины, утвержденной _____________ Календарно-тематический план разработала преподаватель общепрофессиональных дисциплин Чащина Елена Анатольевна Подпись_________________ Дата «____»__________20__г. Рассмотрен на заседании методической комиссии преподавателей "___"______________ 20__ г., протокол № ___. Председатель МК __________________ Объем учебной дисциплины и виды учебной работы Самостоятельная работа обучающихся Всего часов Теоретические занятия Лабораторные работы 2 семестр Всего Учебная нагрузка обучающихся (час.) Обязательная аудиторная нагрузка Максимальная учебная нагрузка 126 126 42 42 84 84 42 42 42 42 Контрольные работы В том числе Практические занятия Курс, семестр Содержание обучения по учебной дисциплине № заня тия 1-2 3-4 5-6 7-8 910 11- Наименование разделов, тем, занятий Раздел 1. Алгебра высказываний. Тема 1.1. Высказывания и операции над ними. Высказывания и высказывательные формы. Отрицание высказываний. Конъюнкция и дизъюнкция. Союзы языка и логические операции (Язык и логика). Импликация, эквиваленция, сумма по модулю два, штрих Шеффера, стрелка Пирса. ПЗ № 1 Определение значения истинности высказываний. Построение составных высказываний. ПЗ № 2 Составление таблиц истинности для формул. Тема 1.2. Формулы алгебры высказываний. Классификация формул Обязательная Материальное учебная нагрузка и информацион Колное Вид во обеспечение занятия часов занятий Внеаудиторная самостоятельная работа Вид задания Информацион ное обеспечение Кол-во часов 26 13 10 5 1-5,8-9,13 ОИ 1, ОИ 2 ВСР 3 ВСР 4 ДИ 1 И-Р 1 И-Р 15 И-Р 17 2 лекция 2 лекция ОИ 1, ОИ 2 1-5,8-9,13 ВСР 3 ВСР 4 ДИ 1 И-Р 2 И-Р 15 ВСР 1 2 1-5,8-9,13 ОИ 1, ОИ 2 ДИ 1 ДИ 2 И-Р 3 И-Р 15 1-4,6-12,14 ОИ 2 ВСР 2 ВСР 4 лекция 1 2 ПЗ №1 2 ПЗ №2 ОИ 2 1 1 ДИ 1 ДИ 2 И-Р 1 И-Р 15 тест Самостоятель ная работа отчет 1 1-4,6-12,14 ВСР 2 ДИ 2 И-Р 12 И-Р 14 И-Р 18 6 2 Формы и методы контроля 1 3 1-5,8-9,13 лекция ОИ 1, ОИ 2 ВСР 1 ДИ 2 И-Р 3 И-Р 14 1 отчет примечание 12 1314 1516 1718 1920 2122 2324 2526 алгебры логики. Равносильные преобразования. Закон двойственности в алгебре логики. ПЗ № 3 Составление таблиц истинности для формул. ПЗ № 4 Упрощение формул. Тема 1.3. Нормальные формы для формул алгебры высказываний. Понятие нормальных форм. Карты Карно ПЗ № 5 Приведение формул к совершенным нормальным формам ПЗ № 6 Упрощение формул логики до минимальной ДНФ. Тема 1.4. Приложения алгебры высказываний к логико-математической практике. Прямая и обратная теоремы. Необходимые и достаточные условия ПЗ № 7 Решение логических задач Раздел 2. Булевы функции. 1-4,6-12,14 ВСР 2 И-Р 4 И-Р 11 1-4,6-12,14 ВСР 2 ДИ 2 И-Р 14 И-Р 18 И-Р 19 2 ПЗ №3 ОИ 2 2 ПЗ №4 ОИ 2 6 лекция ОИ 1, ОИ 2 1-5,8-9,13 ВСР 1 ВСР 6 ДИ 2 И-Р 10 И-Р 14 ПЗ №5 ВСР 2 ВСР 7 ДИ 2 И-Р 6 2 1-4,6-12,14 ОИ 2 ПЗ №6 1-4,6-12,14 ОИ 2 ВСР 2 ВСР 7 ДИ 1 И-Р 9 И-Р 14 отчет 1 Устный опрос отчет 1 4 отчет 1 2 1-5,8-9,13 ОИ 1, ОИ 2 ВСР 1 ВСР 6 ДИ 2 И-Р 6 И-Р 12 И-Р 15 1 1-4,6-12,14 ВСР 2 ВСР 7 ДИ 1 ДИ 2 И-Р 12 И-Р 15 1 2 лекция 2 ПЗ №7 ОИ 2 28 1 отчет 3 2 2 1 14 отчет 2728 2930 3132 3334 3536 3738 3940 4142 4344 4546 Тема 2.1. Множества, отношения, функции. Общие понятия теории множеств. Операции над множествами и их свойства. ПЗ № 8 Операции над множествами. Классификация множеств. Мощность множеств. Представление множеств в виде диаграмм Эйлера-Венна Круги Эйлера. ПЗ № 9 Круги Эйлера решение задач. ПЗ № 10 Кортежи и декартово произведение множеств ПЗ № 11 Алгебра Буля. Решение задач ПЗ № 12 Решение задач при помощи электронных таблиц Принцип двойственности в алгебре множеств. Бинарные отношения и их свойства. Соответствия между множествами. Отображения. Функции. ПЗ № 13 Решение задач 20 2 2 10 лекция ПЗ №8 1-5,8-9,13 ОИ 1, ОИ 2 ВСР 1 ВСР 6 ДИ 1ДИ 2 И-Р 12 И-Р 18 1-4,6-12,14 ОИ 2 ВСР 2 ДИ 1 И-Р 6 И-Р 12 И-Р 18 1 отчет 1 ВСР 1 ВСР 6 ДИ 2 И-Р 10 И-Р 14 2 лекция 1-5,8-9,13 ОИ 1, ОИ 2 2 ПЗ № 9 1-4,6-12,14 ОИ 2 ВСР 2 И-Р 2И-Р 11 1-4,6-12,14 ОИ 2 ВСР 2 2 ПЗ №10 ДИ 1 И-Р 14 И-Р 18 И-Р 19 2 ПЗ №11 1-4,6-12,14 ОИ 2 ВСР 2 ВСР 7 2 ПЗ №12 1-4,6-12,14 ОИ 2 ВСР 2 ВСР 7 ДИ 1 И-Р 8 И-Р 16 И-Р 18 ДИ 1ДИ 2 И-Р 13 лекция 1-5,8-9,13 ОИ 1, ОИ 2 ВСР 3 ВСР 6 ДИ 3 И-Р 13 И-Р 14 И-Р 16 2 лекция 1-5,8-9,13 ОИ 1, ОИ 2 ВСР 1 ВСР 6 ДИ 1ДИ 2 И-Р 8 И-Р 13 1 2 ПЗ №13 1-4,6-12,14 ОИ 2 ВСР 2 ДИ 1 И-Р 12 И-Р 14 И-Р 18 1 2 1 1 Устный опрос тест отчет отчет 1 отчет 1 1 отчет 1 тест отчет 4748 4950 5152 5354 5556 5758 5960 Тема 2.2. Булевы функции от одного, двух аргументов и от n аргументов. Булевы функции. Выражение булевых функций через дизъюнкцию, конъюнкцию и отрицание. Канонический многочлен Жегалкина. Важнейшие замкнутые классы. Теорема Поста. ПЗ № 14 Приложение функций алгебры логики к анализу и синтезу релейноконтактных схем. ПЗ № 15 Решение задач Раздел 3. Логика предикатов. Тема 3.1 Основные понятия связанные с предикатами. Предикаты и высказывательные формы. Множество истинности предиката. Равносильность и следование предикатов. ПЗ № 16 Логические операции над предикатами Тема 3.2. Кванторные операции над предикатами. 8 2 2 4 лекция лекция 2 ПЗ №14 2 ПЗ №15 1-5,8-9,13 ОИ 1, ОИ 2 ВСР 3 ВСР 5 ДИ 1 ДИ 2 И-Р 11 И-Р 18 Устный опрос 1 1-5,8-9,13 ОИ 1, ОИ 2 ВСР 1 ВСР 5 ДИ 2 И-Р 5 И-Р 11 1 1-4,6-12,14 ОИ 2 ВСР 2 И-Р 4 И-Р 11 отчет 1 1-4,6-12,14 ОИ 2 ВСР 2 ДИ 1 И-Р 14 И-Р 18 И-Р 19 1 16 8 6 3 2 лекция ОИ 1, ОИ 2 1-5,8-9,13 ВСР 1 ВСР 6 ДИ 2 И-Р 6 И-Р 12 И-Р 15 2 лекция 1-5,8-9,13 ОИ 1, ОИ 2 ВСР 1 ВСР 6 ДИ 2 И-Р 10 И-Р 14 1 2 ПЗ №16 1-4,6-12,14 ОИ 2 ВСР 2 ВСР 7 ДИ 1 ДИ 2 И-Р 12 И-Р 15 1 4 отчет 1 Устный опрос 2 отчет 6162 6364 6566 6768 6970 7172 7374 75- Кванторы. Отрицание предложений с кванторами. Численные кванторы. ПЗ № 17 Кванторные операции Тема 3.3. Применение логики предикатов к логикоматематической практике. Запись на языке логики предикатов различных предложений. Строение математических теорем. Дедуктивные и индуктивные умозаключения. Принцип математической индукции в предикатной форме. ПЗ № 18 Применение логики предикатов Раздел 4.Элементы теории алгоритмов. Тема 4.1. Задачи и алгоритмы Понятие алгоритма. Неформальное определение алгоритма. Свойства алгоритма. ПЗ № 19 Составление алгоритмов. Различные подходы к формализации понятия алгоритма. ПЗ № 20 Массовая и 2 лекция 1-5,8-9,13 ОИ 1, ОИ 2 2 ПЗ №17 1-4,6-12,14 ОИ 2 ВСР 1 ВСР 6 ДИ 1 И-Р 7 И-Р 15 1 ВСР 2 ДИ 2 И-Р 10 И-Р 14 1 6 2 3 лекция 2 лекция 2 ПЗ №18 1-5,8-9,13 ОИ 1, ОИ 2 ВСР 3 ВСР 6 ДИ1 И-Р 13 И-Р 14 И-Р 16 1 1-5,8-9,13 ОИ 1, ОИ 2 ВСР 1 ВСР 6 ДИ 1ДИ 2 И-Р 8 И-Р 13 Самостоятель ная работа 1 1-4,6-12,14 ОИ 2 ВСР 2 ВСР 7 ДИ 1ДИ 2 И-Р 13 1 14 7 6 3 2 отчет лекция 2 ПЗ №19 2 ПЗ № 1-5,8-9,13 ОИ 1, ОИ 2 ВСР 1 ВСР 6 ДИ 2 И-Р 10 И-Р 14 отчет Устный опрос 1 1-4,6-12,14 ОИ 2 ВСР 2 ВСР 7 ДИ 2 И-Р 6 отчет 1 1-4,6-12,14 ВСР 2 ДИ 2 И-Р 9 1 отчет 76 7778 7980 8182 8384 индивидуальная задача Тема 4.2. Нормальный алгоритм Маркова. Машина Тьюринга Машина Тьюринга. Внешний алфавит, алфавит состояний, функциональная схема, принцип работы. Нормальные алгоритмы Маркова. Принцип нормализации Маркова. ПЗ № 21 Конструирование машин Тьюринга. Вычислимые по Тьюрингу функции. Дифференцированный зачет 20 ОИ 2 ВСР 7 И-Р 14 8 2 2 4 лекция лекция 2 ПЗ № 21 2 Диффе ренцир ованны й зачет 1-5,8-9,13 ОИ 1, ОИ 2 ВСР 3 ВСР 4 ДИ 1 И-Р 11 И-Р 15 И-Р 17 1 1-5,8-9,13 ОИ 1, ОИ 2 ВСР 1 1-4,6-12,14 ОИ 2 ВСР 2 ВСР 4 ВСР 11 ВСР 9 ВСР 10 ДИ 1 ДИ 2 И-Р 3 И-Р 15 1 ДИ 1 ДИ 2 И-Р 1 И-Р 15 отчет 1 ДИ 1 ДИ 2 И-Р 1 И-Р 15 Самостоятель ная работа 1 Материально-техническое обеспечение занятий № п/п 1 2 3 4 5 6 7 8 9 10 11 12 13 14 Материально-техническое обеспечение занятий рабочие места обучающихся (12 шт) рабочее место преподавателя учебная доска, интерактивная доска рабочая программа учебной дисциплины «Архитектура аппаратных средства» газета «Информатика в школе», журнал «Компьютер» сборник практических занятий рекомендации по подготовке к практическим занятиям и заданий Технические средства обучения: - компьютер с лицензионным программным обеспечением - мультимедийный комплекс - электронные учебники - DVD – плеер, телевизор - видеоматериалы - презентация свободного программное обеспечение общего и профессионального назначения Информационное обеспечение обучения № п/п Наименование Автор Издательство, год издания Основные источники (ОИ) ОИ 1 ОИ 2 Математическая логика и теория алгоритмов. Игошин В.И. Дискретная математика. Спирин М.С., Спирина П.А. М.: Издательский центр «Академия», 2008. М.: Издательский центр «Академия», 2010 Дополнительные источники (ДИ) ДИ 1 Математическая логика. Курс лекций и практических занятий. ДИ 2 Алгебра логики в задачах. Шапорев С.Д. СПб.:БХВ-Петербург, 2005. Гиндикин С.Г. Электронная библиотека Московского государственного университета. http://lib.mexmat.ru/books/1383 Интернет-ресурсы (И-Р) И-Р 1 И-Р 2 И-Р 3 И-Р 4 И-Р 5 И-Р 6 И-Р 7 И-Р 8 И-Р 9 И-Р 10 И-Р 11 И-Р 12 И-Р 13 И-Р 14 И-Р 15 www.osp.mesi.ru (сайт учебного процесса МЭСИ). Балюкевич Э.Л., Ковалева Л.Ф. Романников А.Н. Дискретная математика. www.booka.ru/booka_topic_6114?id=97427 Дискретная математика. Курс лекций для студентов. http://www.dgap.mipt.ru/~artema/index.html - Искусственный интеллект и математика, труды Станислава Лема и др. Небольшая электронная библиотека. http://www.srcc.msu.su/num_anal/ - Интернет-ресурс содержит различные материалы по численному анализу, включая пакет вычислительных программ (Библиотека численного анализа НИВЦ МГУ) и разнообразные учебно методические материалы. http://comp-science.narod.ru/ - Учителям информатики и математики и их любознательным ученикам (дидактические материалы по информатике и математике). http://crow.academy.ru/dm/ - Московский Государственный Университет имени М.В.Ломоносова. - Страничка курса "Дискретная математика" http://mech.math.msu.su/department/dm/dmmc/ - Интернет-страница "Дискретная Математика и Математическая Кибернетика" создана и поддерживается коллективом математиков, работающих в области дискретной математики. http://alglib.chat.ru/ - Библиотека алгоритмов. Математические алгоритмы. Теория чисел. Линейная алгебра. http://www.isu.ru/~slava/do/disc/curshome.htm - Теоретический курс дискретной математики. Примеры решения задач. http://mat-game.narod.ru/ - Математическая гимнастика. Математические задачи, головоломки, шарады и курьезы. http://www.radmar.narod.ru/ - Основание математики как основа научного знания Логика математики. Основание математики. Основание теории множеств. http://www.ipclub.ru/users/fuzzy/ - Нечеткая логика. Теория и история нечеткой логики. Использование нечеткой логики в управлении промышленными объектами. Нечеткая логика в бизнесе и финансах. http://www.logic.ru/Russian - Логика. - Исследования в области математической логики. http://www.isu.ru/~slava/do/disc/predlog.htm - Учебно-методические материалы по дискретной математике. http://jurinfor.exponenta.ru/ - Перспективные компьютерные исследования и информационные технологии. Отражение научно-образовательной деятельности по дискретной математике, информатике и информационным технологиям. И-Р 16 http://comput.com.ua/index.php?art=22 – журнал «Компьютер» -раздел Скачать - программное обеспечение И-Р 17 http://ikt.moy.su/index/informatika/0-7 Сайт Чащиной Елены Анатольевны Внеаудиторная самостоятельная работа ВСР 1 ВСР 2 Подготовка к лабораторным и практическим занятиям. Оформление отчетов по выполненным работам. ВСР 3 Углубленное изучение отдельных тем дисциплины с использованием дополнительной литературы и Internet-ресурсов. ВСР 4 Конструирование и реализация собственной индивидуальной информационной системы по одному из вопросов дисциплины с использованием технологии информационных поисковых систем. ВСР 5 Разработка схем использования информационных и коммуникационных технологий в профессиональной деятельности. ВСР 6 Выполнение проектов по использованию прикладных программных продуктов для обработки и визуализации профессиональной информации. ВСР 7 Подбор и анализ средств информационных и коммуникационных технологий для решения конкретных профессиональных задач. ВСР 8 Знакомство с законодательными и правовыми документами по использованию ИКТ в профессиональной деятельности. ВСР 9 Изучение печатных и Internet-источников по вопросам методологической, психологической, методической аспектам использования ИКТ в профессиональной деятельности. ВСР 10 Изучение и анализ порталов по профессии или специальности (отечественных и зарубежных). ВСР 11 Подготовка к зачету