- •Программа по курсу «Дискретная математика» для заочной формы обучения
- •Методика рецензирования контрольной работы.
- •Краткие теоретические сведения
- •Множества и операции над ними
- •Бинарные отношения
- •Отношение эквивалентности
- •Отношение упорядоченности
- •Функции
- •Функции и формулы алгебры логики
- •Двойственные функции и совершенные нормальные формы
- •Принцип двойственности
- •Построение совершенных нормальных форм
- •Полнота и замкнутость систем функций алгебры логики
- •Полные системы функций алгебры логики
- •Важнейшие замкнутые классы
- •Задание к контрольной работе по дискретной математике
- •I. Множества и операции над ними.
- •Варианты контрольных работ Вариант №1
- •Вариант №2
- •Вариант №3
- •Вариант №4
- •Вариант №5
- •Вариант №6
- •Вариант №7
- •Вариант №8
- •Вариант №9
- •Вариант №10
- •Вариант №11
- •Вариант №12
- •Вариант №13
- •Вариант №14
- •Вариант №15
- •Вариант №16
- •Вариант №17
- •Вариант №18
- •Вариант №19
- •Вариант №20
- •Вариант №21
- •Вариант №22
- •Вариант №23
- •Вариант №24
- •Вариант №25
- •Пример решения контрольной работы
- •Список литературы
- •400131, Волгоград, просп. Им. В.И. Ленина, 28
- •400131, Волгоград, ул. Советская, 35
-
Методика рецензирования контрольной работы.
№темы №задачи |
Название темы Специфика задачи |
Баллы |
|
мин. |
макс. |
||
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 и, при этом, по каждой теме выполнено не менее половины задач.