Фонд оценочных средств по учебной дисциплине (модулю) "Дискретная математика с элементами математической логики" для специальности 09.02.12 Техническая эксплуатация и сопровождение информационных систем.
Документ представляет собой комплект контрольно-оценочных материалов для проверки результатов освоения дисциплины. Он структурирован по разделам, определяющим формы текущего контроля, проверяемые компетенции, оценочные средства и критерии для промежуточной аттестации. Основные разделы и содержание: 1. Перечень формируемых компетенций:
✓ ОК 01. Выбирать способы решения задач профессиональной деятельности.
✓ ОК 02. Осуществлять поиск, анализ и интерпретацию информации.
✓ ОК 04. Работать в коллективе и команде, эффективно взаимодействовать.
✓ ОК 05. Осуществлять устную и письменную коммуникацию.
✓ ОК 09. Использовать информационные технологии в профессиональной деятельности.
✓ ОК 10. Пользоваться профессиональной документацией на государственном и иностранном языках. 2. Требования к результатам освоения:
✓ Уметь: формулировать задачи логического характера, применять средства математической логики для их решения.
✓ Знать: основные принципы математической логики, теории
множеств, теории алгоритмов, формулы алгебры высказываний, методы минимизации, основы языка и алгебры предикатов. 3. Текущий контроль по разделам:
✓ Алгебра логики (проверочная работа №1).
✓ Булева алгебра (проверочная работа №2).
✓ Алгебра Жегалкина (контрольная работа №1).
✓ Высказывания. Предикаты (проверочная работа №3).
✓ Формальные теории (контрольная работа №2). 4. Оценочные средства для текущего контроля:
✓ Контрольные работы №1-2: решение логических уравнений (систем), построение моделей функциональных схем логических устройств.
✓ Проверочные работы №1-3: решение логических задач на основе инструкций и условий.
✓ Для каждого оценочного средства указаны цель, проверяемые компетенции, критерии оценивания (в процентах выполнения), примеры заданий и вопросы для самостоятельной подготовки.
✓ Критерии оценивания контрольных работ: "отлично" (100%), "хорошо" (75%), "удовлетворительно" (50%), "неудовлетворительно" (менее 50%).
✓ Критерии оценивания проверочных работ: "отлично" (полностью без ошибок), "хорошо" (не более одной негрубой ошибки), "удовлетворительно" (не менее 2/3 работы), "неудовлетворительно" (менее 1/3 работы). 5. Промежуточная аттестация:
✓ Форма проведения: дифференцированный зачет в форме итоговой контрольной работы.
✓ Вопросы для подготовки: 29 вопросов по основным темам (высказывания, предикаты, формулы, законы, нормальные формы, аксиоматические системы, алгоритмы).
✓ Вариант контрольной работы: приведение к нормальным формам, упрощение формул, построение полинома Жегалкина, таблица истинности, логическая задача на определение профессий и мест жительства. 6. Учебно-методическое обеспечение:
✓ В документе не приведен отдельный список литературы, но указаны составитель (канд. тех. наук, доцент Кузьмин К.И.), даты рассмотрения и утверждения на кафедре и учебно-методическом совете. Примечание: Документ разработан для Балтийского Гуманитарного Института, но по структуре и содержанию аналогичен ФОС для специальностей СПО. В нем четко прослеживается связь между компетенциями, разделами, оценочными средствами и критериями.
☀ Ознакомиться с документом можно на официальном сайте учебного заведения ☀
✅
Новинки
Нет содержания для этого блока
Все права на документы принадлежат их правообладателям. Ссылки ведут на официальные источники
