- •Требования к оформлению и срокам сдачи расчетно-графической работы
- •I. Функциональная полнота систем булевых функций
- •Замыкание и замкнутые классы
- •1.2. Классы функций, сохраняющих 0 и 1, т0 и т1
- •1.3. Класс самодвойственных функций , s
- •1.4. Класс монотонных функций, м
- •1.5. Класс линейных функций, l
- •1.6. Критерий Поста
- •Элементы теории алгоритмов
- •Исчисление высказываний
- •Логика предикатов. Основные определения.
- •Подстановки
- •Унификация. Метод резолюции.
- •Варианты заданий на ргр
Варианты заданий на ргр
№ п/п |
Раздел I |
Раздел II |
Раздел III |
Раздел IV |
Раздел V |
Раздел VI |
|||||
1.1 |
1.2 |
1.3 |
1.4 |
1.5 |
1.6 |
|
|
|
|
|
|
1 |
1.1, 3.5, 4.7, 5, 10.5, 11.1, 12.7 |
3.4, 5 |
1.1; 2.5; 4; 6 |
1.1; 4.1 |
1.1; 2; 10.1 |
1.1; 2.1 |
2.2b, 3.1a, 8 |
1.2, 2.2, 3.1, 4.1, 6.1, 7.1 |
7.a, 10.a, 13.a, 15.a, 16.a, 18 |
3a, 4a, 7a, 11c, 12a, 16a |
1a, 5a, 22 |
2 |
1.2, 3.4, 4.6, 6.1, 10.4, 11.2, 12.10 |
3.3, 4.1 |
1.2; 2.4; 5.1; 7.1 |
1.2; 4.2 |
1.2; 3; 10.2 |
1.2; 2.2 |
2.2a, 3.1b, 7 |
1.3, 2.3, 3.2, 4.2, 6.2, 7.2 |
7.b, 10.b, 13.b, 15.b, 16.b, 17
|
3b, 4b, 7b, 11b, 12b, 16b |
1b, 5b, 23 |
3 |
1.3, 3.3, 4.5, 6.2, 10.3, 11.3, 12.9 |
3.2, 4.2 |
1.3; 2.3; 5.2; 7.2 |
1.3; 4.3 |
1.3; 5; 10.3 |
1.3; 2.3 |
2.2c, 3.2a, 6 |
1.4, 2.4, 3.3, 4.3, 6.3, 7.3 |
7.c, 10.c, 13.c, 15.c, 16.c, 19 |
3c, 4c, 7c, 11a, 12c, 16c |
1c, 5c, 24a |
4 |
1.4, 3.2, 4.4, 6.3, 10.2, 11.4, 12.8 |
3.1, 4.5 |
1.4; 2.2; 5.3; 7.3 |
1.4;4.4 |
1.4; 6; 10.4 |
1.4; 3.1 |
1.1b, 3.2b, 5 |
1.5, 2.5, 3.4, 5.1, 6.4, 7.4 |
8.a, 10.d, 13.d, 15.d, 16.d, 20.a |
3d, 4d, 7d, 11c, 14, 16d |
1d, 8, 24b |
5 |
1.2, 3.1, 4.3, 6.4, 10.1, 11.5, 12.7 |
2.2, 4.4 |
1.5; 2.1; 4; 8 |
1.5; 4.1 |
4.1; 7.1; 10.5 |
1.5; 3.2 |
1.1a, 3.1a, 4 |
1.6, 2.6, 3.5, 5.2, 6.5, 7.5 |
8.b, 10.e, 13.e, 14.e, 16a, 20.b |
3e, 5a, 7e, 11b, 15, 16e
|
1e, 9, 25a |
6 |
1.3, 3.3, 4.2, 6.5, 7, 12.1, 12.6 |
2.1, 4.3 |
1.1; 2.5; 5.1; 6 |
1.6; 4.2 |
4.2; 7.2; 11 |
7.1; 3.3 |
1.2c, 3.1b, 8 |
1.2, 2.7, 3.6, 5.3, 6.6, 7.1 |
8.c, 10d, 13.f, 14.f, 16.b, 20.c |
3f, 5b, 10d, 11a, 12a, 17a |
1f, 11a, 25b |
7 |
1.2, 3.2, 4.1, 6.6, 8, 12.2, 12.5 |
1, 4.2 |
1.2; 2.4; 5.2; 7.1 |
1.7; 4.3 |
4.3; 7.3; 10.1 |
7.2; 4 |
2.1a, 3.2a, 7 |
1.3, 2.8, 3.7, 5.4, 6.7, 7.2 |
9.a, 11.a, 13.g, 15.a, 16.c, 18 |
3g, 5c, 8a, 11c, 12b, 17b |
1g, 11b, 25c |
8 |
1.1, 3.1, 4.5, 6.7, 9, 12.3, 12.4 |
3.5, 4.1 |
1.3; 2.3; 5.3; 7.2 |
1.8; 4.4 |
4.4; 7.7; 10.2 |
7.3; 5 |
2.1b, 3.2b, 6 |
1.4, 2.1, 3.8, 5.5, 6.8, 7.3, |
9.b, 11.b, 13.a, 15.b, 16.d, 19 |
3h, 5d, 8b, 11b, 12c, 18a |
2a, 11c, 25d |
9 |
1.2, 3.4, 4.6, 6.1, 10.6, 12.4, 12.3 |
3.4, 5 |
1.4; 2.2; 4; 7.3 |
2; 4.2 |
1.1; 8.1; 10.3 |
8.1; 6.1 |
2.2b, 3.1a, 5 |
1.5, 2.2, 3.9, 5.6, 6.9, 7.4, |
9.c, 11.c, 13.b, 15.c, 16.a, 20b
|
3c, 5e, 9, 11a, 14, 18b |
2b, 11d, 2b |
10 |
1.3, 3.3, 4.5, 6.2, 10.7, 12.5, 12.2 |
3.3, 4.1 |
1.5; 2.1; 5.2; 8 |
3; 4.4 |
1.2; 8.2; 10.4 |
8.2; 6.2 |
2.2a, 3.1b, 4 |
1.6, 2.3, 3.10, 5.7, 6.10, 7.5 |
9.d, 11.d, 13.c, 15.d, 16.c, 20.a |
3d, 6, 10c, 11c, 15, 19a |
2c, 11e, 21 |
11 |
1.4, 3.2, 4.4, 6.3, 10.8, 12.3, 12.1 |
3.2, 4.2 |
1.1; 2.5; 4; 6 |
1.1; 4.1 |
1.3; 8.3; 10.5 |
8.3; 6.3 |
2.2c, 3.2a, 8 |
1.2, 2.4, 3.11, 5.8, 6.11, 7.1 |
7.a, 10.a, 13.a, 15.a, 16.a, 18 |
3a, 4a, 7a, 11c, 12a, 16a |
1a, 5a, 22 |
12 |
1.1, 3.5, 4.7, 5, 10.5, 11.1, 12.7 |
3.1, 4.5 |
1.2; 2.4; 5.1; 7.1 |
1.2; 4.2 |
4.1; 8.4; 11 |
1.1; 2.1 |
1.1b, 3.2b, 7 |
1.3, 2.5, 3.12, 5.9, 6.12, 7.2 |
7.b, 10.b, 13.b, 15.b, 16.b, 17
|
3b, 4b, 7b, 11b, 12b, 16b |
1b, 5b, 23 |
13 |
1.2, 3.4, 4.6, 6.1, 10.4, 11.2, 12.10 |
2.2, 4.4 |
1.3; 2.3; 5.2; 7.2 |
1.3; 4.3 |
4.2; 9; 10.3 |
1.2; 2.2 |
1.1a, 3.1a, 6 |
1.4, 2.6, 3.13, 5.10, 6.13, 7.3 |
7.c, 10.c, 13.c, 15.c, 16.c, 19 |
3c, 4c, 7c, 11a, 12c, 16c |
1c, 5c, 24a |
14 |
1.3, 3.3, 4.5, 6.2, 10.3, 11.3, 12.9 |
2.1, 4.3 |
1.4; 2.2; 5.3; 7.3 |
1.4;4.4 |
1.1; 2; 10.1 |
1.3; 2.3 |
1.2c, 3.1b, 5 |
1.5, 2.7, 3.14, 4.1, 6.14, 7.4 |
8.a, 10.d, 13.d, 15.d, 16.d, 20.a |
3d, 4d, 7d, 11c, 14, 16d |
1d, 8, 24b |
15 |
1.4, 3.2, 4.4, 6.3, 10.2, 11.4, 12.8 |
1, 4.2 |
1.5; 2.1; 4; 8 |
1.5; 4.1 |
1.2; 3; 10.2 |
1.4; 3.1 |
2.1a, 3.2a, 4 |
1.6, 2.4, 3.15, 4.2, 6.8, 7.5 |
8.b, 10.e, 13.e, 14.e, 16a, 20.b |
3e, 5a, 7e, 11b, 15, 16e
|
1e, 9, 25a |
16 |
2, 3.1, 4.3, 6.4, 10.1, 11.5, 12.7 |
3.5, 4.1 |
1.1; 2.5; 5.1; 6 |
1.6; 4.2 |
1.3; 5; 10.3 |
1.5; 3.2 |
2.1b, 3.2b, 8 |
1.2, 2.2, 3.16, 4.3, 6.6, 7.3 |
8.c, 10d, 13.f, 14.f, 16.b, 20.c |
3f, 5b, 10d, 11a, 12a, 17a |
1f, 11a, 25b |
17 |
1.3, 3.3, 4.2, 6.5, 7, 12.1, 12.6 |
3.4, 5 |
1.2; 2.4; 5.2; 7.1 |
1.7; 4.3 |
1.4; 6; 10.4 |
7.1; 3.3 |
2.2b, 3.1a, 7 |
1.4, 2.3, 3.17, 5.6, 6.13, 7.4 |
9.a, 11.a, 13.g, 15.a, 16.c, 18 |
3g, 5c, 8a, 11c, 12b, 17b |
1g, 11b, 25c |
18 |
1.2, 3.2, 4.1, 6.6, 8, 12.2, 12.5 |
3.3, 4.1 |
1.3; 2.3; 5.3; 7.2 |
1.8; 4.4 |
4.1; 7.1; 10.5 |
7.2; 4 |
2.2a, 3.1b, 6 |
1.2, 2.2, 3.1, 4.1, 6.1, 7.1 |
9.b, 11.b, 13.a, 15.b, 16.d, 19 |
3h, 5d, 8b, 11b, 12c, 18a |
2a, 11c, 25d |
19 |
1.1, 3.1, 4.5, 6.7, 9, 12.3, 12.4 |
3.2, 4.2 |
1.4; 2.2; 4; 7.3 |
2; 4.2 |
4.2; 7.2; 11 |
7.3; 5 |
2.2c, 3.2a, 5 |
1.3, 2.3, 3.2, 4.2, 6.2, 7.2 |
9.c, 11.c, 13.b, 15.c, 16.a, 20b |
3c, 5e, 9, 11a, 14, 18b |
2b, 11d, 2b |
20 |
1.2, 3.4, 4.6, 6.1, 10.6, 12.4, 12.3 |
3.1, 4.5 |
1.5; 2.1; 5.2; 8 |
3; 4.4 |
4.3; 7.3; 10.1 |
8.1; 6.1 |
1.1b, 3.2b, 4 |
1.4, 2.4, 3.3, 4.3, 6.3, 7.3 |
9.d, 11.d, 13.c, 15.d, 16.c, 20.a |
3d, 6, 10c, 11c, 15, 19a |
2c, 11e, 21 |
21 |
1.3, 3.3, 4.5, 6.2, 10.7, 12.5, 12.2 |
2.2, 4.4 |
1.1; 2.5; 4; 6 |
1.1; 4.1 |
4.4; 7.7; 10.2 |
8.2; 6.2 |
1.1a, 3.1a, 7 |
1.5, 2.5, 3.4, 5.1, 6.4, 7.4 |
7.a, 10.a, 13.a, 15.a, 16.a, 18 |
3a, 4a, 7a, 11c, 12a, 16a |
1a, 5a, 22 |
22 |
1.4, 3.2, 4.4, 6.3, 10.8, 12.3, 12.1 |
2.1, 4.3 |
1.2; 2.4; 5.1; 7.1 |
1.2; 4.2 |
1.1; 8.1; 10.3 |
8.3; 6.3 |
1.2c, 3.1b, 6 |
1.6, 2.6, 3.5, 5.2, 6.5, 7.5 |
7.b, 10.b, 13.b, 15.b, 16.b, 17
|
3b, 4b, 7b, 11b, 12b, 16b |
1b, 5b, 23 |
23 |
1.1, 3.5, 4.7, 5, 10.5, 11.1, 12.7 |
1, 4.2 |
1.3; 2.3; 5.2; 7.2 |
1.3; 4.3 |
1.2; 8.2; 10.4 |
1.1; 2.1 |
2.1a, 3.2a, 5 |
1.2, 2.7, 3.6, 5.3, 6.6, 7.1 |
7.c, 10.c, 13.c, 15.c, 16.c, 19 |
3c, 4c, 7c, 11a, 12c, 16c |
1c, 5c, 24a |
24 |
1.2, 3.4, 4.6, 6.1, 10.4, 11.2, 12.10 |
3.5, 4.1 |
1.4; 2.2; 5.3; 7.3 |
1.4;4.4 |
1.3; 8.3; 10.5 |
1.2; 2.2 |
2.1b, 3.2b, 4 |
1.3, 2.8, 3.7, 5.4, 6.7, 7.2 |
8.a, 10.d, 13.d, 15.d, 16.d, 20.a |
3d, 4d, 7d, 11c, 14, 16d |
1d, 8, 24b |
25 |
1.3, 3.3, 4.5, 6.2, 10.3, 11.3, 12.9 |
3.4, 5 |
1.5; 2.1; 4; 8 |
1.5; 4.1 |
4.1; 8.4; 11 |
1.3; 2.3 |
2.2b, 3.1a, 8 |
1.4, 2.1, 3.8, 5.5, 6.8, 7.3, |
8.b, 10.e, 13.e, 14.e, 16a, 20.b |
3e, 5a, 7e, 11b, 15, 16e
|
1e, 9, 25a |
26 |
1.4, 3.2, 4.4, 6.3, 10.2, 11.4, 12.8 |
3.3, 4.1 |
1.1; 2.5; 5.1; 6 |
1.6; 4.2 |
4.2; 9; 10.3 |
1.4; 3.1 |
2.2a, 3.1b, 7 |
1.5, 2.2, 3.9, 5.6, 6.9, 7.4, |
8.c, 10d, 13.f, 14.f, 16.b, 20.c |
3f, 5b, 10d, 11a, 12a, 17a |
1f, 11a, 25b |
27 |
2, 3.1, 4.3, 6.4, 10.1, 11.5, 12.7 |
3.2, 4.2 |
1.2; 2.4; 5.2; 7.1 |
1.7; 4.3 |
1.1; 2; 10.1 |
1.5; 3.2 |
2.2c, 3.2a, 6 |
1.6, 2.3, 3.10, 5.7, 6.10, 7.5 |
9.a, 11.a, 13.g, 15.a, 16.c, 18 |
3g, 5c, 8a, 11c, 12b, 17b |
1g, 11b, 25c |
28 |
1.3, 3.3, 4.2, 6.5, 7, 12.1, 12.6 |
3.1, 4.5 |
1.3; 2.3; 5.3; 7.2 |
1.8; 4.4 |
1.2; 3; 10.2 |
7.1; 3.3 |
1.1b, 3.2b, 5 |
1.2, 2.4, 3.11, 5.8, 6.11, 7.1 |
9.b, 11.b, 13.a, 15.b, 16.d, 19 |
3h, 5d, 8b, 11b, 12c, 18a |
2a, 11c, 25d |
29 |
1.2, 3.2, 4.1, 6.6, 8, 12.2, 12.5 |
2.2, 4.4 |
1.4; 2.2; 4; 7.3 |
2; 4.2 |
1.3; 5; 10.3 |
7.2; 4 |
1.1a, 3.1a, 4 |
1.3, 2.5, 3.12, 5.9, 6.12, 7.2 |
9.c, 11.c, 13.b, 15.c, 16.a, 20b |
3c, 5e, 9, 11a, 14, 18b |
2b, 11d, 2b |
30 |
1.1, 3.1, 4.5, 6.7, 9, 12.3, 12.4 |
2.1, 4.3 |
1.5; 2.1; 5.2; 8 |
3; 4.4 |
1.4; 6; 10.4 |
7.3; 5 |
1.2c, 3.1b, 8 |
1.4, 2.6, 3.13, 5.10, 6.13, 7.3 |
9.d, 11.d, 13.c, 15.d, 16.c, 20.a |
3d, 6, 10c, 11c, 15, 19a |
2c, 11e, 21 |
31 |
1.2, 3.4, 4.6, 6.1, 10.6, 12.4, 12.3 |
1, 4.2 |
1.1; 2.5; 4; 6 |
1.1; 4.1 |
4.1; 7.1; 10.5 |
8.1; 6.1 |
2.1a, 3.2a, 7 |
1.5, 2.7, 3.14, 4.1, 6.14, 7.4 |
7.a, 10.a, 13.a, 15.a, 16.a, 18 |
3a, 4a, 7a, 11c, 12a, 16a |
1a, 5a, 22 |
32 |
1.3, 3.3, 4.5, 6.2, 10.7, 12.5, 12.2 |
3.5, 4.1 |
1.2; 2.4; 5.1; 7.1 |
1.2; 4.2 |
4.2; 7.2; 11 |
8.2; 6.2 |
2.1b, 3.2b, 6 |
1.6, 2.4, 3.15, 4.2, 6.8, 7.5 |
7.b, 10.b, 13.b, 15.b, 16.b, 17
|
3b, 4b, 7b, 11b, 12b, 16b |
1b, 5b, 23 |
33 |
1.4, 3.2, 4.4, 6.3, 10.8, 12.3, 12.1 |
3.4, 5 |
1.3; 2.3; 5.2; 7.2 |
1.3; 4.3 |
4.3; 7.3; 10.1 |
8.3; 6.3 |
2.2b, 3.1a, 5 |
1.2, 2.2, 3.16, 4.3, 6.6, 7.3 |
7.c, 10.c, 13.c, 15.c, 16.c, 19 |
3c, 4c, 7c, 11a, 12c, 16c |
1c, 5c, 24a |
34 |
2, 3.1, 4.3, 6.4, 10.1, 11.5, 12.7 |
3.3, 4.1 |
1.4; 2.2; 5.3; 7.3 |
1.4;4.4 |
4.4; 7.7; 10.2 |
1.1; 2.1 |
2.2a, 3.1b, 4 |
1.4, 2.3, 3.17, 5.6, 6.13, 7.4 |
8.a, 10.d, 13.d, 15.d, 16.d, 20.a |
3d, 4d, 7d, 11c, 14, 16d |
1d, 8, 24b |
35 |
1.3, 3.3, 4.2, 6.5, 7, 12.1, 12.6 |
3.2, 4.2 |
1.5; 2.1; 4; 8 |
1.5; 4.1 |
1.1; 8.1; 10.3 |
1.2; 2.2 |
2.2c, 3.2a, 8 |
1.3, 2.5, 3.12, 5.9, 6.12, 7.2 |
8.b, 10.e, 13.e, 14.e, 16a, 20.b |
3e, 5a, 7e, 11b, 15, 16e
|
1e, 9, 25a |
36 |
1.2, 3.2, 4.1, 6.6, 8, 12.2, 12.5 |
3.1, 4.5 |
1.1; 2.5; 5.1; 6 |
1.6; 4.2 |
1.2; 8.2; 10.4 |
1.3; 2.3 |
1.1b, 3.2b, 7 |
1.4, 2.6, 3.13, 5.10, 6.13, 7.3 |
8.c, 10d, 13.f, 14.f, 16.b, 20.c |
3f, 5b, 10d, 11a, 12a, 17a |
1f, 11a, 25b |
37 |
1.1, 3.1, 4.5, 6.7, 9, 12.3, 12.4 |
2.2, 4.4 |
1.2; 2.4; 5.2; 7.1 |
1.7; 4.3 |
1.3; 8.3; 10.5 |
1.4; 3.1 |
1.1a, 3.1a, 6 |
1.5, 2.7, 3.14, 4.1, 6.14, 7.4 |
9.a, 11.a, 13.g, 15.a, 16.c, 18 |
3g, 5c, 8a, 11c, 12b, 17b |
1g, 11b, 25c |
38 |
1.2, 3.4, 4.6, 6.1, 10.6, 12.4, 12.3 |
2.1, 4.3 |
1.3; 2.3; 5.3; 7.2 |
1.8; 4.4 |
4.1; 8.4; 11 |
1.5; 3.2 |
1.2c, 3.1b, 5 |
1.6, 2.4, 3.15, 4.2, 6.8, 7.5 |
9.b, 11.b, 13.a, 15.b, 16.d, 19 |
3h, 5d, 8b, 11b, 12c, 18a |
2a, 11c, 25d |
39 |
1.3, 3.3, 4.5, 6.2, 10.7, 12.5, 12.2 |
1, 4.2 |
1.4; 2.2; 4; 7.3 |
2; 4.2 |
4.2; 9; 10.3 |
7.1; 3.3 |
2.1a, 3.2a, 4 |
1.2, 2.2, 3.16, 4.3, 6.6, 7.3 |
9.c, 11.c, 13.b, 15.c, 16.a, 20b
|
3c, 5e, 9, 11a, 14, 18b |
2b, 11d, 2b |
40 |
1.4, 3.2, 4.4, 6.3, 10.8, 12.3, 12.1 |
3.5, 4.1 |
1.5; 2.1; 5.2; 8 |
3; 4.4 |
1.2; 8.2; 10.4 |
7.2; 4 |
2.1b, 3.2b, 8 |
1.4, 2.3, 3.17, 5.6, 6.13, 7.4 |
9.d, 11.d, 13.c, 15.d, 16.c, 20.a |
3d, 6, 10c, 11c, 15, 19a |
2c, 11e, 21 |
