Контрольная работа по предмету Математика на тему: Контрольная по дискретной математике

Задание 8: Закодировать с помощью циклического кодирования (порождающий полином G(X3) = X3 + X +1 ) информационную посылку, десятичный номер которой соответствует сумме номера студента по списку и числа 100.

Продемонстрировать декодирование при передаче информации а) без ошибки;
б) с однократной ошибкой; в) с многократной ошибкой; г) с ошибкой, кратной порождающему полиному.


Вариант №17


Математическая логика
Задание №9: Доказать или опровергнуть общезначимость формулы, используя а)таблицу истинности; б) законы алгебры логики и формулы равносильных преобразований, в) путем построения дерева доказательства, г) методом резолюций.

Вариант №17
2.17.


Задание №10. Формализовать умозаключение по заданному модусу в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу путём построения диаграммы Эйлера и методом резолюций.

Модель 1.




Варианты заданий в формате: (номер фигуры силлогизма, название фигуры)

17. 4- Fesapo,

Задание №11.

Построить машину Тьюринга в виде графа переходов для вычисления минимизированной логической функции по заданию №5.
Алфавит включает символы 0,1 для значений переменных, заданных на ленте, символ , символ *. Значение функции записать после *.

Задание №12.
Построить машину Поста для вычисления минимизированной логической функции по заданию №5.
Алфавит включает символы 0,1 для значений переменных, заданных на ленте, символ , символ *. Значение функции записать после *.

Задание №13.

Логическое программирование на языке ПРОЛОГ-Д
Написать ПРОЛОГ программу для определения некоторых родственников по собственному дереву родства.

Задание №14.
Нечёткая логика
Разработать систему нечёткого вывода по заданию в учебнике с. №353 в пакете Fuzzy logic toolbox в среде MatLab.
Прибыль 1 Группа 0…100 млн. долларов, в данный год 50+ номер по списку группы.
Прибыль 2 Группа 0…200 млн. долларов, в данный год 100+ номер по списку группы.

нет