Минимизировать функцию по кубу соседних чисел и карте Карно.
⇐ ПредыдущаяСтр 2 из 2 Варианты заданий: соответствуют номеру по списку группы.
Задание 6:
Построить автомат Мили – распознаватель заданной последовательности для двух бинарных входов:
Кодирование.
Задание 7: Построить матрицу Хэмминга, уравнения кодирования и декодирования для заданного количества информационных разрядов:
Задание 8: Закодировать с помощью циклического кодирования (порождающий полином G(X3) = X3 + X +1) информационную посылку, десятичный номер которой соответствует сумме номера студента по списку и числа 100.
Продемонстрировать декодирование при передаче информации а) без ошибки; б) с однократной ошибкой; в) с многократной ошибкой; г) с ошибкой, кратной порождающему полиному.
Математическая логика Задание №9: Доказать или опровергнуть общезначимость формулы, используя а)таблицу истинности; б) законы алгебры логики и формулы равносильных преобразований, в) путем построения дерева доказательства, г) методом резолюций. 2.1 2.2 2.3 2.4 2.5 2.6. 2.7. 2.8 2.9. 2.10. 2.11 2.12 2.13 2.14 2.15 2.16. 2.17. 2.18 2.19. 2.20. 2.21 2.22 2.23 2.24 2.25 2.26. 2.27. 2.28 2.29. 2.30.
Задание №10. Формализовать умозаключение по заданному модусу в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу путём построения диаграммы Эйлера и методом резолюций. Модель 1.
Варианты заданий в формате: (номер фигуры силлогизма, название фигуры) 1. 1 - Celarent, 2. 1- Darii, 3. 1- Ferio, 4. 2- Cesare, Camestres, Festino, Baroko, Darapti, 9. 3- Disamis, 10. 3- Disamis, 11. 3-Felapton, 12.4-Bocardo, 13.4- Ferison, 14. 4-Bramantip, 15. 4- Camenes, 16. 4- Dimaris, 17. 4- Fesapo, 18. 4- Fresison. 19. 1- Darii, 20. 1- Ferio, 21. 2- Cesare, Camestres, Festino, Baroko, Darapti, 26. 3- Disamis, 27. 3- Disamis, 28. 3-Felapton, 29. 4-Bocardo, 30. 4- Ferison, 31. 4-Bramantip, 34. 4- Camenes, Задание №11.
Построить машину Тьюринга в виде графа переходов для вычисления минимизированной логической функции по заданию №5. Алфавит включает символы 0,1 для значений переменных, заданных на ленте, символ l, символ *. Значение функции записать после *. Задание №12.
Логическое программирование на языке ПРОЛОГ-Д Написать ПРОЛОГ программу для определения некоторых родственников по собственному дереву родства.
Литература: 1. Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика. – М.: Финансы и статистика, 2006. –357 с. 2. С.Ф.Тюрин. Аляев Ю.А. Практическая дискретная математика и математическая логика – М.: Финансы и статистика, 2010. – 384 с. 3. Тюрин С.Ф., Ланцов В.М. Дискретная математика & математическая логика: учеб. пособие. Перм. нац. исслед. политехн. ун-т. – Пермь: Изд-во ПНИПУ, 2013. – 271 с.
4. Дискретная математика:Тест-драйв по дискретной математике и математической логике: учеб. пособие / C.Ф. Тюрин, Ю.А.Аляев. – Пермь: Изд-во Перм. нац. иссл. политех. ун-та, 2014. –231с.
Задания выполняются от руки в специальной, отдельной от конспекта, тетради в клеточку - для выполнения домашнего задания. Приклеивается титульный лист – распечатывается по образцу. Распечатываются задания по варианту. Решения – выполняются от руки! Рисунки выполняются простым карандашом! Результаты работы программ («скриншоты») распечатываются по формату тетрадного листа и вклеиваются в тетрадь.
Воспользуйтесь поиском по сайту: ![]() ©2015 - 2025 megalektsii.ru Все авторские права принадлежат авторам лекционных материалов. Обратная связь с нами...
|