Перечень объектов контроля и оценки. Наименование объектов контроля и оценки Основные показатели

Наименование объектов контроля и оценки Основные показатели оценки результата Оценка
У1. формулировать задачи логического характера и применять средства математической логики для их решения Определение значения истинности высказываний. Построение составных высказываний. Составление таблиц истинности для формул Приведение формул к совершенным нормальным формам Упрощение формул логики до минимальной ДНФ Приведение формул к совершенным нормальным формам Решение логических задач Выполнение операции над множествами Нахождение мощности множеств Решение задач при помощи кругов Эйлера Вычисление кортежей и декартового произведения множеств Решение задачалгебры Буля Решение логических задач при помощи электронных таблиц. Исследование релейно-контактных схем при помощи алгебры логики Выполнение логических операций над предикатам Выполнение операций с кванторами Перечень объектов контроля и оценки. Наименование объектов контроля и оценки Основные показатели Применение логики предикатов Составление массовых и индивидуальных задач Составление алгоритмов Вычислимые функциипо Тьюрингу
З1. основных принципов математической логики, теории множеств и теории алгоритмов Формулировка высказывания и высказывательных форм. Формулировка основных операций: отрицание, конъюнкция и дизъюнкция. Союзы языка и логические операции (Язык и логика).

Импликанция, эквиваленция, сумма по модулю два, штрих Шеффера, стрелка Пирса. Таблицы истинности.Классификация множеств. Мощность множеств. Кортежи и декартово произведение множеств. Приложение кругов Эйлера к решению логических задач. Описание бинарных отношений и их свойств. Описание соответствия между множествами. Отображения.Функции.Описа ние элементов теории алгоритмов. Формулировка определения алгоритма Описание машины Тьюринга. Описание нормального алгоритма Перечень объектов контроля и оценки. Наименование объектов контроля и оценки Основные показатели Марковой
З2. формул алгебры высказываний Классификация формул алгебры логики .Перечисление последовательности действий при решении логических задач.
З3. методов минимизации алгебраических преобразований Приложение алгебры высказываний к логико-математической практике. Приложение нормальных форм для формул алгебры высказываний.
З4. основы языка и алгебры предикатов Союзы языка и логические операции Формулировка основных понятий связанные с предикатами Перечисление последовательности действий кванторных операции над предикатами Описание процессов применения логики предикатов к логико-математической практике.


За правильный ответ на вопросы или выставляется положительная оценка – 1 балл.

За не правильный ответ на вопросы или выставляется отрицательная оценка – 0 баллов.


верное решение задачи

неверное решение задачи


Шкала оценки образовательных достижений

Процент результативности (правильных ответов Перечень объектов контроля и оценки. Наименование объектов контроля и оценки Основные показатели) Оценка уровня подготовки
балл (отметка) вербальный аналог
90 ÷ 100 отлично
80 ÷ 89 хорошо
70 ÷ 79 удовлетворительно
менее 70 неудовлетворительно




documentawakrsj.html
documentawakzcr.html
documentawalgmz.html
documentawalnxh.html
documentawalvhp.html
Документ Перечень объектов контроля и оценки. Наименование объектов контроля и оценки Основные показатели