2. Методика рецензирования контрольной работы.

№темы №задачи	Название темы Специфика задачи	Баллы
		мин.	макс.
I.	Множества и операции над ними.
1.	Операции с числовыми множествами.	3	4
2.	Операции с системой множеств.	3	4
3.	Доказательство тождеств на основе определений операций над множествами.	3	4
4.	Доказательство тождества с использованием диаграммы Эйлера–Венна.	3	4
II.	Отношения. Функции. Эквивалентность и упорядоченность.
1.	Бинарные отношения на дискретных множествах.	3	4
2.	Бинарное отношение на числовом множестве.	3	4
3.	Числовые функции.	3	4
III.	Функции и формулы алгебры логики.
1.	Таблицы истинности логических формул.	3	4
2.	Эквивалентность формул.	3	4
3.	Доказательство тождественной истинности формул.	3	4
IV.	Двойственные функции. Принцип двойственности. Совершенные формы.
1.	Таблицы истинности двойственных функций. Построение СДНФ, СКНФ и СПНФ по таблице истинности.	3	4
2.	Двойственные формулы. Старшинство логических операций.	3	4
3.	Аналитическое построение нормальных форм.	3	4
V.	Полные системы функций алгебры логики. Классы Поста.
1.	Принадлежность функций классам Поста.	3	4
2.	Полнота системы функций. Базисы.	3	4
	Всего:	45	60

Каждая задача по любой теме контрольной работы оценивается минимальным количеством баллов, если в ходе её решения не допущено принципиальных ошибок и даны правильные ответы на все пункты задания. Если, помимо этого, имеются грамотные пояснения по каждому пункту и, в целом, решение выполнено рационально и качественно, без замечаний, то задача оценивается максимальным количеством баллов.

Во всех остальных случаях оценка ставится пропорционально числу выполненных пунктов задания и поэтому может быть меньше минимальной.

Контрольная работа зачитывается, если суммарное количество баллов не меньше 41 и, при этом, по каждой теме выполнено не менее половины задач.