Минимизировать функцию по кубу соседних чисел и карте Карно.
⇐ ПредыдущаяСтр 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 - 2024 megalektsii.ru Все авторские права принадлежат авторам лекционных материалов. Обратная связь с нами...
|