Дискретная математика

Санкт-Петербургский Государственный Университет Аэрокосмического Приборостроения

Министерство образования Российской Федерации
Государственное образовательное учреждение высшего профессионального образования
Санкт-Петербургский государственный университет аэрокосмического приборостроения
Дискретная математика
Методические указания
К выполнению контрольных работ
Санкт-Петербург
2004 год

Стоимость выполнения контрольной работы по дискретной математике уточняйте.
Стоимость готовой контрольной работы по дискретной математике уточняйте.
Готовы следующие варианты:
0, 1, 2, 3, 4, 5, 6, 8, 9

Задание к контрольной работе

1. Записать высказывание(n) с использованием кванторов всеобщности и существования.

2. Используя множества X и Y, построить:
1)объединение множеств X и Y;
2)пересечение множеств X и Y;
3)дополнение (разность) множеств X и Y;
4)абсолютное дополнение множества;
5)симметричную разность множеств;
6)описать следующие включения результатов операций с множествами:... и ...;
7)описать множества с помощью характеристического предиката (высказывания);
8)провести логическое кодирование предиката с использованием квантора принадлежности и представить операции над множествами в табличной форме (в заголовке таблицы привести значения соответствующих- предикатов).

3. Специальные формы представления булевых функций.
Пусть f1(x,y,z) и f2(x,y,z) - булевы функции, отвечающие номеру задания.
Для функции f1(x,y,z) :
1)построить таблицу истинности;
2)определить номер функции;
3)реализовать функцию f1(x,y,z) в виде формул над системами ..., где системы для i=1,2,3,4,5 – Отвечают базисам дизъюнктивному, конъюнктивному, Шеффера, Пирса и Жегалкина соответственно (формулы над дизъюнктивным и конъюнктивным базисами реализовать в форме СДНФ и СКНФ и показать их равносильность);
4) для функции f2(x,y,z) восстановить логическую функцию по ее номеру.

Дата выполнения: 01/12/2012