Получить матрицу всех путей длиной 2 путем возведения в квадрат соответствующей булевой матрицы (вместо суммирования используется операция дизъюнкции).

 

Вариант 1). 5382Н

Вариант 2). 6382Н

Вариант 3). 5А82Н

Вариант 4). 5В82Н

Вариант 5). 4А82Н

Вариант 6). 3А82Н

Вариант 7). 7В82Н

Вариант 8). 53С2Н

Вариант 9). 63С2Н

Вариант 10).63С6Н

Вариант 11).63САН

Вариант 12).63СЕН

Вариант 13).53СЕН

Вариант 14).43СЕН

Вариант 15). 53D2Н

Вариант 16). 53D6Н

Вариант 17). 53D4Н

Вариант 18). 53DАН

Вариант 19). 53DЕН

Вариант 20). 5ВD2Н

Вариант 21). 5ВD6Н

Вариант 22). 5ВD4Н

Вариант 23). 5ВDЕН

Вариант 24). 5ВD8Н

Вариант 25). 4ВD6Н

Вариант 26). 7ВD6Н

 

 

Автоматы.

 

Задание 5: По заданному десятичному числу получить номер переключательной функции трёх переменных в двоичном, восьмеричном и шестнадцатеричном кодах, таблицу истинности соответствующей функции (ПФ), определить СДНФ, СКНФ, символическую форму функции.

Минимизировать функцию по кубу соседних чисел и карте Карно. Реализовать функцию переключательной схемой и схемой из функциональных в базисах И-НЕ, ИЛИ-НЕ.

 

 

Варианты заданий: соответствуют номеру по списку группы.

1)	ПФ №241
2)	ПФ №165
3)	ПФ №55
4)	ПФ №143
5)	ПФ №7
6)	ПФ №29
7)	ПФ №183
8)	ПФ №248
9)	ПФ №234
10)	ПФ №77
11)	ПФ №253
12).	ПФ №249
13)	ПФ №71
14)	ПФ №224
15)	ПФ №229
16)	ПФ №90
17)	ПФ №88
18)	ПФ №133
19)	ПФ №247
20)	ПФ №161
21)	ПФ №244
22)	ПФ №150
23)	ПФ №181
24)	ПФ №39
25)	ПФ №157
26)	ПФ №251
27)	ПФ №79
28)	ПФ №67
29)	ПФ №105
30)	ПФ №142
31)	ПФ №43

 

Дополнительное бонусное задание: Выполнить моделирование схемы с помощью системы схемотехнического моделирования Electronics Workbench фирмы Interactive Image Technologies (Канада)

Задание 6:

 

Построить автомат Мили – распознаватель заданной последовательности для двух бинарных входов:

Вариант	Последовательность	Вариант	Последовательность	Вариант	Последовательность

 

Дополнительное бонусное задание: Выполнить моделирование в произвольном базисе с помощью системы схемотехнического моделирования Electronics Workbench фирмы Interactive Image Technologies (Канада) в булевом базисе

 

Кодирование.

 

Задание 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(X³) = X³ + 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.