Кодирование.
Задание 7: Построить матрицу Хэмминга, уравнения кодирования и декодирования для заданного количества информационных разрядов:
1) N=6 |
2) N=7 |
3) N=8 |
4) N=9 |
5) N=10 |
6) N=11 |
7) N=12 |
8) N=13 |
9) N=14 |
10) N=15 |
11) N=16 |
12) N=17 |
13) N=18 |
14) N=19 |
15) N=20 |
16) N=21 |
17) N=22 |
18) N=23 |
19) N=24 |
20) N=25 |
21) N=26 |
22) N=27 |
23) N=28 |
24) N=29 |
25) N=30 |
26) N=31 |
27) N=32 |
28) N=33 |
29) N=34 |
30) N=34 |
31) N=34 |
Задание 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,
5. 2- Camestres,
6. 2- Festino,
7. 2-Baroko,
8. 3- 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,
22. 2- Camestres,
23. 2- Festino,
24. 2-Baroko,
25. 3- 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.
Построить машину Поста для вычисления минимизированной логической функции по заданию №5.
Алфавит включает символы 0,1 для значений переменных, заданных на ленте, символ l, символ *. Значение функции записать после *.
Задание №13.
Логическое программирование на языке ПРОЛОГ-Д
Написать ПРОЛОГ программу для определения некоторых родственников по собственному дереву родства.
Задание №14.
Нечёткая логика
Разработать систему нечёткого вывода по заданию в учебнике с. № 000 в пакете Fuzzy logic toolbox в среде MatLab.
Прибыль 1 Группа 0…100 млн. долларов, в данный год 50+ номер по списку группы.
Прибыль 2 Группа 0…200 млн. долларов, в данный год 100+ номер по списку группы.
Литература:
1. Аляев математика и математическая логика. – М.: Финансы и статистика, 2006. –357 с.
2. . Аляев дискретная математика и математическая логика – М.: Финансы и статистика, 2010. – 384 с.
3. , Ланцов математика & математическая логика: учеб. пособие. Перм. нац. исслед. политехн. ун-т. – Пермь: Изд-во ПНИПУ, 2013. – 271 с.
Задания выполняются от руки в специальной, отдельной от конспекта, тетради в клеточку - для выполнения домашнего задания.
Приклеивается титульный лист – распечатывается по образцу.
Распечатываются задания по варианту.
Решения – выполняются от руки.
Рисунки выполняются простым карандашом.
Результаты работы программ распечатываются по формату тетрадного листа и вклеиваются в тетрадь.
Студент должен быть готов по требованию преподавателя продемонстрировать и прокомментировать работу программного продукта и модели.
Задачи к зачёту.
1. Выполнение операций над множествами
2. Задание множества десятичным кодом на универсуме.
3. Решение комбинаторных задач и уравнений.
4. Задание графов и определение их свойств.
5. Задача о Ханойской башне.
6. Задача определения кратчайшего пути в графе с ребрами произвольной длины.
7. Минимизация по кубу соседних чисел.
8. Минимизация по карте Карно
9. Синтез комбинационного автомата
10. Синтез последовательностного автомата
11. Кодирование по Хэммингу.
12. Кодирование с использованием математического аппарата умножения и деления полиномов.
13. Доказательство правильности силлогизмов с помощью диаграмм Эйлера.
14. Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы равносильных преобразований, а также путем построения дерева доказательства.
15. Проверить аргумент методом резолюций.
16. Равносильные преобразования переключательных функций и формул логики высказываний.
17. Формализовать умозаключение по заданному модусу в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу методом резолюций.
18. Получить машину Тьюринга для вычисления переключательной функции.
19. Получить машину Поста для вычисления переключательной функции.
20. Написать программу на языке ПРОЛОГ для определения отношения родства.
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 |
