- •Материалы для срс
- •4 Строение и виды теорем
- •1) Метод, основанный на правиле силлогизма (цепного заключения)
- •2) Метод доказательства от противного
- •3) Принцип обращения по разделению (полной дизъюнкции)
- •5 Нахождению всех следствий из посылок
- •6 Нахождение посылок для следствий
- •7 Нахождение недостающеё посылки в рассуждении
- •11 Материалы по контролю и оценке учебных достижений обучающихся
- •7) Вопросы к коллоквиуму № 1
- •8) Вопросы к коллоквиуму № 2
- •12 Программное и мультимедийное сопровождение учебных занятий
- •13 Перечень специализированных уадиторий, кабинетов и лабораторий
Материалы для срс
СРС 1
Изучение материала по теме «Введение. Математическая логика в системе современного образования» по учебнику: Игошин В. И. Математическая логика и теория алгоритмов.- М., Академия, 2004, с. 6-14.
Форма отчётности: конспект.
СРС 2
Выполнение семестрового задания № 1 (по вариантам).
|
СРСП 1 |
СРСП 1 |
СРСП 2 |
СРСП 2 |
СРСП 3 |
СРСП 3 |
СРСП 4 |
СРСП 4 |
СРСП 5 |
СРСП 5 |
СРСП 6 |
СРСП 6 |
№ зад. |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
№ вар. |
||||||||||||
1 |
1.14 б |
1.18 к |
1.26 б |
1.58 б |
2.1 в |
2.2 к |
2.12 к |
2.15 б |
1.35 б |
1.40 к |
3.29 |
3.55 |
2 |
1.14 в |
1.18 и |
1.26 в |
1.58 в |
2.1 г |
2.2 и |
2.12 и |
2.15 в |
1.35 в |
1.40 и |
3.30 |
3.56 |
3 |
1.14 г |
1.18 з |
1.26 г |
1.58 г |
2.1 д |
2.2 з |
2.12 з |
2.15 г |
1.35 г |
1.40 з |
3.31 |
3.58 |
4 |
1.14 д |
1.18 ж |
1.26 д |
1.58 д |
2.1 е |
2.2 ж |
2.12 ж |
2.15 д |
1.35 д |
1.40 ж |
3.33 |
3.59 |
5 |
1.14 е |
1.18 е |
1.26 е |
1.58 е |
2.1 ж |
2.2 е |
2.12 е |
2.15 е |
1.35 е |
1.40 е |
3.34 |
3.60 |
6 |
1.14 ж |
1.18 д |
1.26 ж |
1.58 ж |
2.1 з |
2.2 д |
2.12 д |
2.15 ж |
1.35 ж |
1.40 д |
3.37 |
3.61 |
7 |
1.14 з |
1.18 г |
1.26 з |
1.58 з |
2.1 и |
2.2 г |
2.12 г |
2.15 з |
1.35 з |
1.40 г |
3.38 |
3.55 |
8 |
1.14 и |
1.18 в |
1.26 и |
1.58 и |
2.1 к |
2.2 в |
2.12 в |
2.15 и |
1.35 и |
1.40 в |
3.39 |
3.56 |
9 |
1.14 к |
1.18 б |
1.26 к |
1.58 к |
2.2 к |
2.1 в |
2.12 б |
2.15 к |
1.35 к |
1.40 б |
3.40 |
3.58 |
10 |
1.15 б |
1.17 к |
1.27 б |
1.59 б |
2.2 и |
2.1 г |
2.11 к |
2.16 б |
1.36 б |
1.39 к |
3.41 |
3.59 |
11 |
1.15 в |
1.17 и |
1.27 в |
1.59 в |
2.2 з |
2.1 д |
2.11 и |
2.16 в |
1.36 в |
1.39 и |
3.42 |
3.60 |
12 |
1.15 г |
1.17 з |
1.27 г |
1.59 г |
2.2 ж |
2.1 е |
2.11 з |
2.16 г |
1.36 г |
1.39 з |
3.43 |
3.61 |
13 |
1.15 д |
1.17 ж |
1.27 д |
1.59 д |
2.2 е |
2.1 ж |
2.11 ж |
2.16 д |
1.36 д |
1.39 ж |
3.29 |
3.55 |
14 |
1.15 е |
1.17 е |
1.27 е |
1.59 е |
2.2 д |
2.1 з |
2.11 е |
2.16 е |
1.36 е |
1.39 е |
3.30 |
3.56 |
15 |
1.15 ж |
1.17 д |
1.27 ж |
1.59 ж |
2.2 г |
2.1 и |
2.11 д |
2.16 ж |
1.36 ж |
1.39 д |
3.31 |
3.58 |
16 |
1.15 з |
1.17 г |
1.27 з |
1.59 з |
2.2 в |
2.1 к |
2.11 г |
2.16 з |
1.36 з |
1.39 г |
3.33 |
3.59 |
17 |
1.15 и |
1.17 в |
1.27 и |
1.59 и |
2.1 в |
2.2 к |
2.11 в |
2.16 и |
1.36 и |
1.39 в |
3.34 |
3.60 |
18 |
1.15 к |
1.17 б |
1.27 к |
1.59 к |
2.1 г |
2.2 и |
2.11 б |
2.16 к |
1.36 к |
1.39 б |
3.37 |
3.61 |
19 |
1.14 б |
1.16 к |
1.26 б |
1.58 б |
2.1 д |
2.2 з |
2.11 к |
2.15 б |
1.38 б |
1.39 к |
3.38 |
3.55 |
20 |
1.14 в |
1.16 и |
1.26 в |
1.58 в |
2.1 е |
2.2 ж |
2.11 и |
2.15 в |
1.38 в |
1.39 и |
3.39 |
3.56 |
21 |
1.14 г |
1.16 з |
1.26 г |
1.58 г |
2.1 ж |
2.2 е |
2.11 з |
2.15 г |
1.38 г |
1.39 з |
3.40 |
3.58 |
22 |
1.14 д |
1.16 ж |
1.26 д |
1.58 д |
2.1 з |
2.2 д |
2.11 ж |
2.15 д |
1.38 д |
1.39 ж |
3.41 |
3.59 |
23 |
1.14 е |
1.16 е |
1.26 е |
1.58 е |
2.1 и |
2.2 г |
2.11 е |
2.15 е |
1.38 е |
1.39 е |
3.42 |
3.60 |
24 |
1.14 ж |
1.16 д |
1.26 ж |
1.58 ж |
2.1 к |
2.2 в |
2.11 д |
2.15 ж |
1.38 ж |
1.39 д |
3.43 |
3.61 |
25 |
1.14 з |
1.16 г |
1.26 з |
1.58 з |
2.2 к |
2.1 в |
2.11 г |
2.15 з |
1.38 з |
1.39 г |
3.29 |
3.55 |
26 |
1.14 и |
1.16 в |
1.26 и |
1.58 и |
2.2 и |
2.1 г |
2.11 в |
2.15 и |
1.38 и |
1.39 в |
3.30 |
3.56 |
27 |
1.14 б |
1.18 к |
1.26 б |
1.58 б |
2.1 в |
2.2 к |
2.12 к |
2.15 б |
1.35 б |
1.40 к |
3.29 |
3.55 |
28 |
1.14 в |
1.18 и |
1.26 в |
1.58 в |
2.1 г |
2.2 и |
2.12 и |
2.15 в |
1.35 в |
1.40 и |
3.30 |
3.56 |
29 |
1.14 г |
1.18 з |
1.26 г |
1.58 г |
2.1 д |
2.2 з |
2.12 з |
2.15 г |
1.35 г |
1.40 з |
3.31 |
3.58 |
30 |
1.14 д |
1.18 ж |
1.26 д |
1.58 д |
2.1 е |
2.2 ж |
2.12 ж |
2.15 д |
1.35 д |
1.40 ж |
3.33 |
3.59 |
балл |
0,5 |
0,5 |
0,5 |
0,5 |
0,5 |
0,5 |
0,5 |
0,5 |
0,5 |
0,5 |
0,5 |
0,5 |
Задания по учебнику: Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов.- М., Академия, 2005.
Форма отчётности: семестровое задание необходимо сдавать в отдельных тетрадях в сроки, указываемые преподавателем для каждого задания.
СРС 3
Изучение материала по теме «Приложение АВ к логико-математической практике: строение и виды теорем, методы математических доказательств; нахождение всех следствий из посылок, посылок для следствий, недостающей посылки в рассуждении».
Приложение АВ к логико-математической практике