Фонд оценочных средств по учебной дисциплине ЕН.02 «Дискретная математика с элементами математической логики» по специальности 09.02.07 Информационные системы и программирование 1. Общие сведения о документе
Документ представляет собой фонд оценочных средств (ФОС) для проведения текущего контроля и промежуточной аттестации по учебной дисциплине ЕН.02 «Дискретная математика с элементами математической логики». ФОС разработан для студентов, обучающихся по специальности 09.02.07 Информационные системы и программирование (очная форма обучения). Итоговая форма контроля – экзамен. Квалификация выпускника – Специалист по информационным системам. ✓ Цель и назначение ФОС:
Контроль и оценка результатов освоения дисциплины, направленной на формирование у студентов знаний и умений в области дискретной математики, теории множеств, математической логики, теории графов и алгоритмов, необходимых для профессиональной деятельности в области информационных систем. 2. Структура документа
ФОС включает следующие разделы:
✓ Паспорт ФОС: описание контролируемых разделов (тем) дисциплины и соответствующих форм оценочных средств (блиц-опрос, тест, контрольная работа, аттестационная работа, презентация, самостоятельная работа, коллоквиум).
✓ Примерный перечень оценочных средств: краткая характеристика оценочных средств (тест, самостоятельная работа, аттестация, контрольная работа, экзамен).
✓ Тематика практических занятий и самостоятельной работы: перечень тем для практических занятий (17 тем) и самостоятельной работы (12 тем).
✓ Оценочные материалы: включают вопросы и билеты к первой и второй рубежным аттестациям, а также образцы экзаменационных билетов. 3. Содержание оценочных материалов ✓ Разделы дисциплины и тематика:
• Теория множеств: основные понятия, операции над множествами (объединение, пересечение, разность, дополнение), мощность множества.
• Отношения: унарные и бинарные отношения, свойства бинарных отношений (рефлексивность, симметричность, транзитивность и др.).
• Математическая логика: высказывания, логические операции (конъюнкция, дизъюнкция, отрицание, импликация, эквивалентность), таблицы истинности, формулы алгебры логики, предикаты и кванторы.
• Булевы функции: определение, совершенные дизъюнктивная и конъюнктивная нормальные формы (СДНФ, СКНФ), минимизация.
• Теория алгоритмов: понятие алгоритма, способы представления, машина Тьюринга, нормальные алгоритмы Маркова.
• Теория графов: основные понятия, пути в графах, задача о кратчайшем пути, сетевые модели. ✓ Формы контроля:
• Рубежные аттестации: две аттестации в семестре. Первая аттестация (билеты №1-25) охватывает теорию множеств, отношения и основы логики высказываний. Вторая аттестация (билеты №1-25) посвящена булевым функциям, предикатам и теории графов.
• Экзамен: итоговый контроль. Примеры билетов к экзамену в документе не приведены, но указано, что он проводится по вопросам, охватывающим весь курс. 4. Характеристика заданий
✓ Задания носят как теоретический, так и практический характер.
✓ Теоретические вопросы: требуют определений и объяснений. Примеры: «Множества. Определение множества. Привести примеры. Мощность конечного множества», «Высказывание. Конъюнкция высказываний. Примеры», «Определение логической функции. Эквивалентность х1~х2».
✓ Практические задания: включают выполнение операций над множествами, анализ свойств отношений, построение таблиц истинности, запись логических формул и предикатов, а также задачи на нахождение СДНФ. Примеры: «Пусть заданы множества X... Доказать X∪(Y∩Z)=(X∪Y) ∩(X∪Z)», «Пусть M={3,4,5,6,9,12,16}. Записать бинарное отношение R перечислением и матрицей, если R означает "быть делителем"», «Как на основании таблицы истинности функции получить СДНФ? Постройте ее для следующей таблицы...».
☀ Ознакомиться с документом можно на официальном сайте учебного заведения ☀
✅
✅
✓ Методические указания по выполнению практических работ по дисциплине Элементы математиматической логики ☀ Ознакомиться с документом можно на официальном сайте учебного заведения ☀
✅
Методические указания по организации практических занятий по УД. ЕН.02 «Дискретная математика с элементами математической логики» для специальности 09.02.07 «Информационные системы и программирование» Документ представляет собой сборник методических указаний для проведения практических занятий. Пособие разработано в соответствии с ФГОС СПО, предназначено для студентов и преподавателей колледжа. Оно определяет этапы выполнения работы, содержит рекомендации по выполнению заданий, образцы решения задач и список рекомендуемой литературы.
✓ Практическое занятие №1: «Решение задач по теме «Множества»». Охватывает операции над множествами (объединение, пересечение, разность, дополнение), составление цепочек включений, работу с числовыми промежутками и кругами Эйлера.
✓ Практическое занятие №2: «Решение задач на нахождение отображений отношений, подстановок». Посвящено приведению подстановок к канонической записи, нахождению композиций подстановок, анализу свойств бинарных отношений (рефлексивность, симметричность, транзитивность).
✓ Практическое занятие №3: «Простейшие операции над графами». Включает построение графов по матрице смежности, составление матрицы инцидентности, нахождение объединения и пересечения графов, определение цикломатического числа.
✓ Практическое занятие №4: «Решение сетевых задач». Описывает решение задач о максимальном потоке и минимальном разрезе, поиск кратчайшего пути в графе и задачи сетевого планирования.
✓ Практическое занятие №5: «Обобщение, ограничение понятий. Операции над понятиями». Посвящено анализу отношений между понятиями (тождество, пересечение, подчинение, соподчинение, противоположность, противоречие) и их изображению с помощью кругов Эйлера.
✓ Практическое занятие №6: «Операции над высказываниями. Построение таблиц истинности для формул логики». Включает определение высказываний, запись сложных высказываний логическими формулами и построение таблиц истинности.
✓ Практическое занятие №7: «Упрощение формул логики с помощью равносильных преобразований». Описывает применение законов логики (де Моргана, идемпотентности, поглощения, склеивания) для упрощения логических выражений.
✓ Практическое занятие №8: «Решение задач на минимизацию булевых функций». Посвящено составлению СДНФ и СКНФ, построению карт Карно и получению минимальных ДНФ.
✓ Практическое занятие №9: «Нахождение многочлена Жегалкина для булевой функции. Проверка булевой функции на принадлежность к классам Т0, Т1, S, L, M».
✓ Практическое занятие №10: «Решение задач на анализ и синтез релейно-контактных схем». Включает построение функции проводимости по схеме, синтез схемы по функции и упрощение мостиковых схем.
✓ Практическое занятие №11: «Нахождение области определения и истинности предиката». Описывает определение предикатов, нахождение области истинности и построение множества истинности на координатной плоскости.
✓ Практическое занятие №12: «Решение задач на применение кванторов к предикатам». Посвящено построению высказываний с кванторами общности и существования, определению их истинности и словесной формулировке.
✓ Практическое занятие №13: «Применение машины Тьюринга к словам». Включает описание конечного автомата, построение диаграммы Мура и нахождение выходного слова для заданного входного слова. Структура и особенности: Каждое занятие содержит цели, варианты заданий, вопросы для самопроверки и домашнее задание. В конце документа приведен список информационного обеспечения.
✓ Практические занятия охватывают ключевые разделы дискретной математики: теорию множеств, отношения, теорию графов, математическую логику, логику предикатов и теорию автоматов.
✓ Особое внимание уделено практическим заданиям с примерами решения задач и вопросами для самоконтроля.
☀ Ознакомиться с документом можно на официальном сайте учебного заведения ☀
✅
Новинки
Нет содержания для этого блока
Все права на документы принадлежат их правообладателям. Ссылки ведут на официальные источники
