Описание фонда оценочных средств (ФОС) по дисциплине «Элементы математической логики» для специальности 11.02.02 Техническое обслуживание и ремонт радиоэлектронной техники (по отраслям).
Представленный документ представляет собой комплексный фонд оценочных средств, предназначенный для контроля и оценки образовательных достижений студентов по дисциплине «Элементы математической логики». ФОС разработан для подготовки и проведения зачета, включает теоретическую и практическую части, охватывающие все разделы изучаемого курса. 1. Целевое назначение
✓ ФОС направлен на проверку сформированности предметных и общих компетенций студентов по дисциплине «Элементы математической логики».
✓ Обеспечивает оценку знаний и умений в области теории множеств, алгебры высказываний, булевых функций, алгебры предикатов и теории алгоритмов.
✓ Позволяет проверить готовность будущих специалистов по техническому обслуживанию радиоэлектронной техники к применению логических методов в профессиональной деятельности. 2. Структура ФОС
Документ состоит из двух основных частей:
✓ Теоретическая часть — 55 вопросов по 5 разделам курса: «Элементы теории множеств» (14 вопросов), «Элементы алгебры
высказывания» (19 вопросов), «Булевы функции» (14 вопросов), «Основы алгебры предикатов» (7 вопросов), «Основы теории алгоритмов» (4 вопроса).
✓ Практическая часть — содержит задания для решения по каждому разделу:
Теория множеств: задачи на определение видов множеств, вычисление мощности, выполнение теоретико-множественных операций, решение задач с кругами Эйлера.
Алгебра высказываний: задачи на определение высказываний, логические операции, таблицы истинности, упрощение логических выражений.
Булевы функции: построение СДНФ и СКНФ, минимизация методов Карно и неопределенных коэффициентов, проверка эквивалентности.
Алгебра предикатов: определение предикатов, тождественно-ложных предикатов, перевод символьных записей на русский язык. 3. Примеры заданий
✓ Теория множеств: «Запишите множество всех натуральных делителей числа 21, определите его вид и найдите мощность»; «Даны числовые промежутки A=(-3;5], B=[-4;7] и C=(0;6). Найдите множества и изобразите с помощью кругов Эйлера».
✓ Алгебра высказываний: «Какие из следующих предложений являются высказываниями? Укажите истинные и ложные»; «Составьте таблицу истинности логического выражения ¬A∧¬B»; «Упростите логическое выражение: ¬X ∧ ¬(¬Y ∨ X)».
✓ Булевы функции: «Функция задана таблицей истинности. Постройте СКНФ и СДНФ для этой функции. Минимизируйте её всеми известными Вам способами»; «Постройте таблицу истинности функции f: f(x,y) = (x|y) ∧ (y|x)».
✓ Алгебра предикатов: «Укажите выражения, которые не являются предикатами»; «Переведите на русский язык символьную запись о четных числах и простых числах». 4. Критерии оценивания
Зачет оценивается по двухкомпонентной системе:
✓ Устный ответ: 0-3 балла. 3 балла — полное понимание определений, умение применять в новой ситуации; 2 балла — одна негрубая ошибка или два недочета; 1 балл — отдельные пробелы в усвоении; 0 баллов — незнание значительной части материала.
✓ Практическое задание: 0-5 баллов. 5 баллов — задания выполнены полностью и правильно; 4 балла — 2-3 несущественные ошибки; 3 балла — выполнено не менее половины или одна существенная ошибка; 0 баллов — две и более существенные ошибки.
✓ Итоговая оценка: 10-11 баллов — «отлично»; 8-9 баллов — «хорошо»; 5-6 баллов — «удовлетворительно»; 0-4 балла — «неудовлетворительно». Данный ФОС является эффективным инструментом для системной проверки знаний и умений будущих техников по обслуживанию радиоэлектронной техники в области математической логики, обеспечивая объективную оценку их готовности к применению логических методов и аппарата булевой алгебры в профессиональной деятельности.
☀ ☀ ☀ ☀ ☀ ☀
✅
Новинки
Нет содержания для этого блока
Все права на документы принадлежат их правообладателям. Ссылки ведут на официальные источники
