КТП для ОВЗ. ЕН.02 Элементы математической логики ОВЗ. Программа учебной дисциплины Элементы математической логики
 Скачать 46.56 Kb.
|
|
программа УЧЕБНОЙ ДИСЦИПЛИНЫ Дискретная математика с элементами математической логики Программа учебной дисциплины «Элементы математической логики» разработана на основе Федерального государственного образовательного стандарта (далее – ФГОС) в соответствии с Положением об инклюзивном образовании по специальности среднего профессионального образования (далее СПО) 09.02.03 «Программирование в компьютерных системах». Организация-разработчик: ГБПОУ «Златоустовский индустриальный колледж им. П.П. Аносова» Разработчик: Ю.В. Майер, преподаватель ГБПОУ «Златоустовский индустриальный колледж им. П.П. Аносова» СОГЛАСОВАНО: Зам. директора по УР __________С.Б. Сандалова СОДЕРЖАНИЕ
1. паспорт программы УЧЕБНОЙ ДИСЦИПЛИНЫ Элементы математической логики 1.1. Область применения программы Программа учебной дисциплины является частью основной профессиональной образовательной программы в соответствии с ФГОС по специальности СПО 09.02.03 «Программирование в компьютерных системах». Программа учебной дисциплины может быть использована в программах дополнительного профессионального образования и профессиональной подготовке техников в области информационных технологий, в том числе и для обучения студентов-инвалидов и студентов ОВЗ. Опыт работы не требуется. 1.2. Место дисциплины в структуре основной профессиональной образовательной программы: математический и общий естественнонаучный цикл. 1.3. Цели и задачи учебной дисциплины – требования к результатам освоения учебной дисциплины: В результате освоения учебной дисциплины обучающийся должен уметь: - формулировать задачи логического характера и применять средства математической логики для их решения. В результате освоения учебной дисциплины обучающийся должен знать: - основные принципы математической логики, теории множеств и теории алгоритмов; - формулы алгебры высказываний; - методы минимизации алгебраических преобразований; - основы языка и алгебры предикатов. 1.4. Количество часов на освоение программы учебной дисциплины: максимальная учебная нагрузка студентов 96 часов, в том числе: обязательная аудиторная учебная нагрузка 64 часа; самостоятельная работа 32 часа. 1.5. Результаты освоения учебной дисциплины Результатом освоения программы учебной дисциплины является формирование профессиональных (ПК) и общих (ОК) компетенций
2. СТРУКТУРА И СОДЕРЖАНИЕ УЧЕБНОЙ ДИСЦИПЛИНЫ 2.1. Объем учебной дисциплины и виды учебной работы
2.2. Рабочий тематический план и содержание учебной дисциплины Элементы математической логики
3. условия реализации УЧЕБНОЙ дисциплины3.1. Материально-техническое обеспечение Учебная лаборатория «Автоматизированных информационных систем». Оборудование учебного кабинета: - рабочие места преподавателя и студентов, оборудованные персональными компьютерами, лаборатория рассчитана на 18 человек в группе; - программное обеспечение (MS Office, локальная компьютерная сеть, Интернет); - учебно-методическое обеспечение (учебное пособие, методические указания для студентов); Технические средства обучения: - компьютеры с лицензионным программным обеспечением; - средства мультимедиа (проектор, экран). 3.2. Информационное обеспечение обученияПеречень учебных изданий, Интернет-ресурсов, дополнительной литературы Основные источники: Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. — М.: Физматлит, 2013— 256 с. Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Курс лекций. Задачник-практикум и решения. — СПб.: Изд-во «Лань», 1999. —288 с. Яблонский С. В. Введение в дискретную математику. — М.: Высш. шк., 2010 — 384 с. Дополнительные источники: Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Ч. 3. Вычислимые функции. 2-е изд., исправл. — М.: МЦНМО, 2002 — 192 с. Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной матеатике: Учеб. пособие.— Изд. 3-е, перераб. — М.: Физматлит, 2004 — 416 с. Интернет ресурсы: http://eqworld.ipmnet.ru/ru/library/mathematics/logic.htm. http://algeom.samsu.ru/extra/books/ml_Frolov.pdf http://window.edu.ru/resource/510/67510 Информационные образовательные ресурсы для обучения студентов-инвалидов и студентов с ОВЗ система АСУ «Проколледж» Контроль и оценка результатов освоения УЧЕБНОЙ ДисциплиныКонтроль и оценка результатов освоения дисциплины осуществляется преподавателем в процессе проведения практических занятий и лабораторных работ, тестирования, а также выполнения студентами индивидуальных заданий, проектов, исследований.
(*)– для студентов-инвалидов или студентов с ОВЗ Комплект заданий для выполнения лабораторных работ Цель: Уметь формулировать задачи логического характера и применять средства математической логики для их решения. Оснащение лабораторных работ: рабочие места студентов, оборудованные персональными компьютерами; - лицензионное программное обеспечение: MS Excel; свободно распространяемые программы: Free Pascal; тренажеры для работы с машиной Тьюринга. Литература: Методические указания для выполнения практических и лабораторных работ Задания: Найти Декартово произведение множеств и Декартову степень множества. Выполнить операций над множествами. Подсчитать количество элементов в объединении множеств. Выполнить переход от высказываний на естественном языке к формулам логики высказываний. Определить истинность сложных составных высказываний. Построить таблицу истинности для ФАЛ. Применить основные законы логики и равносильности для преобразования логических формул. Доказать тождественность истинности формул. Формализация задач на языке логики предикатов и преобразование формул. Решить упражнения с использованием кванторных операций над предикатами. Реализовать алгоритмы на машине Тьюринга. Содержание отчета: 1. Цель, задачи 2. Результаты 3. Выводы Критерии оценки 5 баллов – верно решенные задачи, последовательные и исчерпывающие ответы на поставленные вопросы, подробный отчет; 4 балла – незначительные неточности в решении задач, твердо знает материал, и ответ без наводящих вопросов; 3 балла – незначительные неточности в решении задач, знает только основной материал, на заданные вопросы ответ недостаточно полный; 2 балла – неправильные ответы на поставленные вопросы, в том числе и на заданные вопросы, не точное решение задач. Зачет (вопросы и задания) Цель: контроль знаний: основные принципы математической логики, теории множеств и теории алгоритмов; формулы алгебры высказываний; методы минимизации алгебраических преобразований; основы языка и алгебры предикатов умений: - формулировать задачи логического характера и применять средства математической логики для их решения. Теоретические вопросы: Дать основные понятия логики предикатов, способы задания. Описать основные операции логики высказываний над предикатами. Понятие алгоритма и дать описание алгоритмической системы. Тезис Черча. Принцип работы Машины Тьюринга. Определить элементы теории рекурсивных функций. Примитивно-рекурсивные и частично-рекурсивные функции. Принцип построения таблицы истинности. Принцип проверки равносильности выражений. Дать определение элементарной конъюнкции, элементарной дизъюнкции, ДНФ, КНФ. Практическое задание: Определить значение истинности высказываний. Составные высказывания расчленить на простые и запишите символически, введя буквенные обозначения для простых их составляющих. Привести по три примера конечных и бесконечных множеств. Определить какие из элементов множества являются множествами. Доказать, используя определения и круги Эйлера, тождественность множеств. Проверить систему функций на полноту. Построить условно графическое отображение для функций АЛ и определить СДНФ. Критерии оценки 5 баллов – верно решенные задачи, последовательные и исчерпывающие ответы на поставленные вопросы, подробный отчет; 4 балла – незначительные неточности в решении задач, твердо знает материал, и ответ без наводящих вопросов; 3 балла – незначительные неточности в решении задач, знает только основной материал, на заданные вопросы ответ недостаточно полный; 2 балла – неправильные ответы на поставленные вопросы, в том числе и на заданные вопросы, не точное решение задач. Экзаменационные задания Экзамен в виде контрольной работы, 6 вариантов по 10 заданий. Рассчитан на четыре академических часа, с двадцати минутным перерывом. Цель: в рамках ОК 1-9 и ПК1.1, ПК1.2, ПК2.4, ПК3.4 формирование: знаний: основные принципы математической логики, теории множеств и теории алгоритмов; формулы алгебры высказываний; методы минимизации алгебраических преобразований; основы языка и алгебры предикатов. умений: формулировать задачи логического характера и применять средства математической логики для их решения Практические задания: Определить значения истинности высказываний. Составные высказывания расчленить на простые и записать символически, введя буквенные обозначения для простых составляющих. Для формул выяснить, будет ли одна из них логическим следствием другой. Для формулы алгебры высказываний найдите СДН-форму с помощью ее таблицы истинности. Построив соответствующие таблицы значений ФАЛ, выяснить, равны ли булевы функции. По заданному логическому выражению составить логическую схему и построить таблицу истинности. Прочитать высказывания и определить, какие из них истинные, а какие ложные, считая, что все переменные пробегают множество действительных чисел. Найти множества истинности предикатов, заданных над указанными множествами. Записать высказывания на языке логики предикатов. Имеется машина Тьюринга с внешним алфавитом, алфавитом внутренних состоянийи функциональной схемой (программой). Определить, в какое слово перерабатывает машина каждое из слов. Критерии оценок 5 баллов – верно решены задачи и реализован программный код; 4 балла – незначительные неточности в программном коде, но верно решены задачи; 3 балла – незначительные неточности в решении задач и программном коде. 2 балла –неточное решение задач, нет программного кода. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||