4.
Контроль и оценка результатов освоения дисциплины осуществляется преподавателем в процессе проведения практических и контрольных работ, тестирования, а также выполнения обучающимися индивидуальных заданий, подготовки сообщений, докладов.
| Результаты обучения
(освоенные умения, усвоенные знания)
| Формы и методы контроля и оценки
результатов обучения
|
|
|
|
| Уметь:
|
|
|
Формулировать задачи логического характера и применять средства математической логики для их решения
| Оценка результатов выполнения практических работ по темам:
«Операции над множествами. Применение теоретико-множественных диаграмм»;
«Проверка теоретико-множественных соотношений с помощью формул логики»;
«Доказательство тождеств, неравенств ММИ»;
«Доказательство делимости выражения ММИ»;
«Методика построения алгоритма»;
«Применение теории алгоритмов»
Оценка выполнения индивидуальных заданий.
Оценка выполнения практического задания на дифф.зачете
|
| Знать:
|
|
| Основные принципы математической логики, теории множеств и теории алгоритмов
| Оценка результатов выполнения практических работ по темам:
«Задачи на подсчет количества элементов в объединении нескольких конечных множеств»;
«Операции над множествами. Применение теоретико-множественных диаграмм»;
«Проверка теоретико-множественных соотношений с помощью формул логики»;
«Доказательство тождеств, неравенств ММИ»;
«Доказательство делимости выражения ММИ»;
«Методика построения алгоритма»;
«Применение теории алгоритмов»
Оценка результатов тестирования.
Оценка выполнения индивидуальных заданий.
Оценка ответов на теоретические вопросы на дифф.зачете
|
| Формулы алгебры высказываний
| Оценка результатов выполнения практической работы по теме
«Построение таблицы истинности»;
«Равносильные преобразования формул логики»;
«Проверка теоретико-множественных соотношений с помощью формул логики»;
«Решение логических задач с помощью законов логики»;
«Построение ДНФ, КНФ»;
«Построение контактных схем, упрощение»
Оценка выполнения индивидуальных заданий.
Оценка выступлений с сообщениями (докладами).
Оценка ответов на теоретические вопросы на дифф.зачете.
|
| Методы минимизации алгебраических преобразований
| Оценка результатов выполнения практических работ по темам:
«Представление функции алгебры логики в виде совершенной ДНФ, минимальной ДНФ»;
«Методика представления булевой функции в виде многочлена Жегалкина»;
«Проверка булевой функции на принадлежность к классам ТО, Т1, S, L, М»;
«Проверка множества булевых функций на полноту (с помощью теоремы Поста)»
Оценка результатов выполнения контрольной работы по теме
Оценка результатов тестирования.
Оценка выполнения индивидуальных заданий.
Оценка выступлений с сообщениями (докладами).
Оценка ответов на теоретические вопросы на дифф.зачете.
|
| Основы языка и алгебры предикатов
| Оценка результатов выполнения практических работ по темам:
«Логические операции над предикатами»;
«Формализация предложений с помощью логики предикатов»;
«Кванторные операции над предикатами»
Оценка результатов тестирования.
Оценка выполнения индивидуальных заданий.
Оценка выступлений с сообщениями (докладами).
Оценка ответов на теоретические вопросы на дифф.зачете.
|
