Александр Кноп
S.E. Warschawski Assistant Professor
Научные интересы:
Теория сложности доказательств, структурная теория сложности, дифференциальная приватность.
En Ru

Для бакалавров АУ
Логика и теория алгоритмов

Весна, 2017 Осень, 2015

Ссылки

Информация

Результаты

Белова Татьяна
Результаты
Контрольная
Переписка
21.02
28.02
07.03
15.03
21.03
28.03
04.04
11.04
18.04
25.04
02.05
16.05
результаты
процент
53%
выходов
12
успешно
12
сумма
72
контрольная
3,5
переписка
зачет
+
1
итог
+
21.02
10
28.02
12
07.03
2
2
итог
+
15.03
9
21.03
7
28.03
2
3
итог
+
04.04
4
11.04
4
18.04
7
4
итог
+
25.04
6
02.05
6
16.05
3
задачи
сумма
3,5
1
1
2
1
3
0
4
0,5
5
1
задачи
сумма
результаты
выходов
1
успешно
1
сумма
10
задачи
3
+
4
+!
5
+
6
а
+
б
+
7
+
8
+
9
а
+
б
+
10
+
результаты
выходов
2
успешно
2
сумма
12
задачи
11
+
12
+
14
+!
15
+!
17
а
+
б
+
в
+
18
а
+
б
+
в
+
г
+
д
+
результаты
выходов
1
успешно
1
сумма
2
задачи
22
+
24
+!
результаты
выходов
0
успешно
0
сумма
9
задачи
25
а
+
б
+
26
а
+
б
+
27
+
28
+
29
а
+
б
+
в
+!
результаты
выходов
0
успешно
0
сумма
7
задачи
30
а
+
б
+
32
а
+
б
+
в
+
г
+!
д
+
результаты
выходов
0
успешно
0
сумма
2
задачи
35
а
+
36
+
результаты
выходов
1
успешно
1
сумма
4
задачи
41
+
42
а
+
44
+!
45
+
результаты
выходов
1
успешно
1
сумма
4
задачи
46
+
47
+
51
а
+!
б
+
результаты
выходов
2
успешно
2
сумма
7
задачи
52
+!
53
+
54
+
56
+
57
а
+
б
+
в
+!
результаты
выходов
1
успешно
1
сумма
6
задачи
59
+
62
+
64
а
+!
б
+
65
а
+
б
+
результаты
выходов
1
успешно
1
сумма
6
задачи
66
+
67
+
70
а
+
б
+!
71
а
+
б
+
результаты
выходов
0
успешно
0
сумма
3
задачи
73
+
76
а
+
б
+
Веселов Иван
Результаты
Контрольная
Переписка
21.02
28.02
07.03
15.03
21.03
28.03
04.04
11.04
18.04
25.04
02.05
16.05
результаты
процент
50%
выходов
13
успешно
13
сумма
68
контрольная
5
переписка
зачет
+
1
итог
+
21.02
10
28.02
11
07.03
1
2
итог
+
15.03
8
21.03
6
28.03
1
3
итог
+
04.04
4
11.04
4
18.04
7
4
итог
+
25.04
6
02.05
6
16.05
4
задачи
сумма
5
1
1
2
1
3
1
4
1
5
1
задачи
сумма
результаты
выходов
1
успешно
1
сумма
10
задачи
3
+
4
+
5
+!
6
а
+
б
+
7
+
8
+
9
а
+
б
+
10
+
результаты
выходов
2
успешно
2
сумма
11
задачи
11
+
12
+!
14
+
17
а
+
б
+
в
+
18
а
+
б
+
в
+
г
+!
д
+
результаты
выходов
0
успешно
0
сумма
1
задачи
22
+
результаты
выходов
1
успешно
1
сумма
8
задачи
25
а
+!
б
+
26
а
+
27
+
28
+
29
а
+
б
+
в
+
результаты
выходов
1
успешно
1
сумма
6
задачи
30
б
+
32
а
+!
б
+
в
+
г
+
д
+
результаты
выходов
1
успешно
1
сумма
1
задачи
35
а
+!
результаты
выходов
1
успешно
1
сумма
4
задачи
41
+
42
а
+
44
+
45
+!
результаты
выходов
0
успешно
0
сумма
4
задачи
46
+
47
+
51
а
+
б
+
результаты
выходов
2
успешно
2
сумма
7
задачи
52
+
53
+!
54
+
56
+
57
а
+!
б
+
в
+
результаты
выходов
1
успешно
1
сумма
6
задачи
59
+
62
+!
64
а
+
б
+
65
а
+
б
+
результаты
выходов
2
успешно
2
сумма
6
задачи
66
+!
67
+
70
а
+
б
+
71
а
+
б
+!
результаты
выходов
1
успешно
1
сумма
4
задачи
73
+
74
+
76
а
+
б
+!
Винниченко Максим
Результаты
Контрольная
Переписка
21.02
28.02
07.03
15.03
21.03
28.03
04.04
11.04
18.04
25.04
02.05
16.05
результаты
процент
54%
выходов
10
успешно
9
сумма
73
контрольная
2
переписка
3
зачет
+
1
итог
+
21.02
7
28.02
13
07.03
3
2
итог
+
15.03
6
21.03
7
28.03
3
3
итог
+
04.04
4
11.04
5
18.04
7
4
итог
+
25.04
6
02.05
6
16.05
6
задачи
сумма
2
1
0
2
1
3
1
5
0
задачи
сумма
3
1
1
2
1
3
1
результаты
выходов
1
успешно
1
сумма
7
задачи
4
+
5
+
6
а
+
б
+
7
+
8
+!
10
+
результаты
выходов
2
успешно
2
сумма
13
задачи
11
+
12
+
13
+!
14
+
15
+
17
а
+
б
+
в
+
18
а
+!
б
+
в
+
г
+
д
+
результаты
выходов
0
успешно
0
сумма
3
задачи
20
+
22
+
24
+
результаты
выходов
0
успешно
0
сумма
6
задачи
25
а
+
б
+
26
а
+
27
+
28
+
29
а
+!
результаты
выходов
1
успешно
1
сумма
7
задачи
30
а
+!
31
+
32
а
+
б
+
в
+
г
+
д
+
результаты
выходов
2
успешно
1
сумма
3
задачи
35
а
+
б
-!
в
+
38
+!
результаты
выходов
1
успешно
1
сумма
4
задачи
41
+
42
а
+
б
+!
45
+
результаты
выходов
0
успешно
0
сумма
5
задачи
46
+
47
+
51
а
+
б
+
в
+
результаты
выходов
0
успешно
0
сумма
7
задачи
52
+
54
+
56
+
57
а
+
б
+
в
+
58
а
+
результаты
выходов
0
успешно
0
сумма
6
задачи
59
+
62
+
64
а
+
б
+
65
а
+!
б
+
результаты
выходов
1
успешно
1
сумма
6
задачи
66
+
67
+
70
а
+
71
а
+!
б
+
72
+
результаты
выходов
0
успешно
0
сумма
6
задачи
73
+
74
+
75
+
76
а
+
б
+
77
+
Кощенко Екатерина
Результаты
Контрольная
Переписка
21.02
28.02
07.03
15.03
21.03
28.03
04.04
11.04
18.04
25.04
02.05
16.05
результаты
процент
49%
выходов
17
успешно
14
сумма
66
контрольная
1,3
переписка
4,5
зачет
+
1
итог
+
21.02
7
28.02
12
07.03
1
2
итог
+
15.03
6
21.03
7
28.03
4
3
итог
+
04.04
2
11.04
3
18.04
10
4
итог
+!
25.04
6
02.05
3
16.05
5
задачи
сумма
1,3
1
1
5
0,3
задачи
сумма
4,5
1
1
2
1
3
1
4
1
5
0,5
результаты
выходов
1
успешно
1
сумма
7
задачи
4
+
5
+
6
а
+
б
+
7
+
8
+
10
+!
результаты
выходов
1
успешно
1
сумма
12
задачи
11
+
12
+
14
+
15
+
17
а
+!
б
+
в
+
18
а
+
б
+
в
+
г
+
д
+
результаты
выходов
1
успешно
1
сумма
1
задачи
22
+!
результаты
выходов
1
успешно
1
сумма
6
задачи
25
а
+
б
+
26
а
+
б
+
27
+!
29
а
+
результаты
выходов
2
успешно
1
сумма
6
задачи
30
а
+
б
-!
32
а
+
б
+
в
+!
г
+
д
+
34
+!
результаты
выходов
1
успешно
1
сумма
4
задачи
35
а
+
б
+
в
+!
36
+
результаты
выходов
1
успешно
0
сумма
2
задачи
41
+
42
а
+
43
-!
результаты
выходов
1
успешно
1
сумма
3
задачи
46
+
51
а
+
б
+!
результаты
выходов
2
успешно
2
сумма
10
задачи
52
+
53
+
54
+
55
+!
56
+
57
а
+
б
+!
в
+
58
а
+!
б
+!
результаты
выходов
0
успешно
0
сумма
6
задачи
59
+
61
а
+
64
а
+
б
+
65
а
+
б
+
результаты
выходов
1
успешно
0
сумма
3
задачи
69
-!
71
а
+
б
+
72
+!
результаты
выходов
1
успешно
1
сумма
5
задачи
73
+
74
+
75
+
76
а
+!
б
+
Свидченко Олег
Результаты
Контрольная
Переписка
21.02
28.02
07.03
15.03
21.03
28.03
04.04
11.04
18.04
25.04
02.05
16.05
результаты
процент
48%
выходов
14
успешно
13
сумма
65
контрольная
3
переписка
зачет
+
1
итог
+
21.02
8
28.02
11
07.03
2
2
итог
+
15.03
6
21.03
7
28.03
2
3
итог
+
04.04
3
11.04
5
18.04
5
4
итог
+
25.04
6
02.05
4
16.05
6
задачи
сумма
3
1
1
2
1
3
0
4
1
задачи
сумма
результаты
выходов
1
успешно
1
сумма
8
задачи
4
+
5
+
6
а
+
б
+!
7
+
8
+
9
а
+
10
+
результаты
выходов
1
успешно
1
сумма
11
задачи
11
+
12
+
14
+
17
а
+
б
+
в
+
18
а
+
б
+!
в
+
г
+
д
+
результаты
выходов
1
успешно
1
сумма
2
задачи
20
+!
22
+
результаты
выходов
1
успешно
1
сумма
6
задачи
25
а
+
б
+!
26
а
+
б
+
28
+
29
а
+
результаты
выходов
1
успешно
1
сумма
7
задачи
30
а
+
31
+!
32
а
+
б
+
в
+
г
+
д
+
результаты
выходов
1
успешно
1
сумма
2
задачи
35
а
+
б
+!
результаты
выходов
1
успешно
1
сумма
3
задачи
41
+
42
а
+!
44
+
результаты
выходов
2
успешно
2
сумма
5
задачи
46
+!
47
+
50
+!
51
а
+
б
+
результаты
выходов
0
успешно
0
сумма
5
задачи
52
+
54
+
57
а
+
б
+
в
+
результаты
выходов
1
успешно
1
сумма
6
задачи
59
+!
61
а
+
64
а
+
б
+
65
а
+
б
+!
результаты
выходов
1
успешно
0
сумма
4
задачи
66
+
67
+
70
а
-!
71
а
+
б
+
результаты
выходов
2
успешно
2
сумма
6
задачи
73
+
74
+!
75
+
76
а
+
б
+
77
+!
Степанов Владимир
Результаты
Контрольная
Переписка
21.02
28.02
07.03
15.03
21.03
28.03
04.04
11.04
18.04
25.04
02.05
16.05
результаты
процент
19%
выходов
1
успешно
1
сумма
26
контрольная
1,5
переписка
зачет
-
1
итог
+
21.02
9
28.02
13
07.03
2
2
итог
-
на зачет
5
15.03
0
21.03
0
28.03
0
3
итог
-
на зачет
5
04.04
2
11.04
0
18.04
0
4
итог
-
на зачет
5
25.04
0
02.05
0
16.05
0
задачи
сумма
1,5
1
1
4
0,5
5
0
задачи
сумма
результаты
выходов
1
успешно
1
сумма
9
задачи
4
+
5
+
6
а
+
б
+
7
+
8
+
9
а
+
б
+!
10
+
результаты
выходов
0
успешно
0
сумма
13
задачи
11
+
12
+
13
+
14
+
16
+
17
а
+
б
+
в
+
18
а
+
б
+
в
+
г
+
д
+
результаты
выходов
0
успешно
0
сумма
2
задачи
20
+
22
+
результаты
выходов
0
успешно
0
сумма
0
результаты
выходов
0
успешно
0
сумма
0
результаты
выходов
0
успешно
0
сумма
0
результаты
выходов
0
успешно
0
сумма
2
задачи
41
+
42
а
+
результаты
выходов
0
успешно
0
сумма
0
результаты
выходов
0
успешно
0
сумма
0
результаты
выходов
0
успешно
0
сумма
0
результаты
выходов
0
успешно
0
сумма
0
результаты
выходов
0
успешно
0
сумма
0
Тонких Андрей
Результаты
Контрольная
Переписка
21.02
28.02
07.03
15.03
21.03
28.03
04.04
11.04
18.04
25.04
02.05
16.05
результаты
процент
40%
выходов
13
успешно
12
сумма
54
контрольная
4
переписка
зачет
+
1
итог
+
21.02
8
28.02
10
07.03
1
2
итог
+!
на зачет
4
15.03
4
21.03
0
28.03
1
3
итог
+
04.04
2
11.04
6
18.04
5
4
итог
+
25.04
6
02.05
7
16.05
4
задачи
сумма
4
2
1
3
1
4
1
5
1
задачи
сумма
результаты
выходов
2
успешно
2
сумма
8
задачи
3
+!
4
+
5
+
6
а
+
б
+
7
+
9
а
+!
10
+
результаты
выходов
1
успешно
1
сумма
10
задачи
11
+
14
+
17
а
+
б
+!
в
+
18
а
+
б
+
в
+
г
+
д
+
результаты
выходов
1
успешно
1
сумма
1
задачи
19
+!
результаты
выходов
1
успешно
1
сумма
4
задачи
25
а
+
б
+
26
а
+
б
+!
результаты
выходов
0
успешно
0
сумма
0
результаты
выходов
1
успешно
1
сумма
1
задачи
39
+!
результаты
выходов
2
успешно
2
сумма
2
задачи
41
+!
43
+!
результаты
выходов
1
успешно
1
сумма
6
задачи
46
+
47
+
49
+!
51
а
+
б
+
в
+
результаты
выходов
0
успешно
0
сумма
5
задачи
52
+
53
+
54
+
55
+
56
+
результаты
выходов
1
успешно
1
сумма
6
задачи
59
+
61
а
+!
64
а
+
б
+
65
а
+
б
+
результаты
выходов
2
успешно
2
сумма
7
задачи
66
+
67
+!
69
+
70
а
+!
б
+
71
а
+
б
+
результаты
выходов
1
успешно
0
сумма
4
задачи
73
+
74
+
76
а
+
б
+
77
-!
Шавкунов Михаил
Результаты
Контрольная
Переписка
21.02
28.02
07.03
15.03
21.03
28.03
04.04
11.04
18.04
25.04
02.05
16.05
результаты
процент
49%
выходов
12
успешно
12
сумма
66
контрольная
3,7
переписка
зачет
+
1
итог
+
21.02
9
28.02
12
07.03
1
2
итог
+
15.03
7
21.03
5
28.03
3
3
итог
+
04.04
4
11.04
5
18.04
4
4
итог
+
25.04
6
02.05
5
16.05
5
задачи
сумма
3,7
1
1
3
1
4
1
5
0,7
задачи
сумма
результаты
выходов
1
успешно
1
сумма
9
задачи
3
+
4
+
5
+
6
а
+
б
+
7
+!
8
+
9
а
+
10
+
результаты
выходов
2
успешно
2
сумма
12
задачи
11
+
12
+
14
+
15
+
17
а
+
б
+
в
+!
18
а
+
б
+
в
+
г
+
д
+!
результаты
выходов
0
успешно
0
сумма
1
задачи
22
+
результаты
выходов
1
успешно
1
сумма
7
задачи
25
а
+
б
+
26
а
+!
27
+
28
+
29
а
+
б
+!
результаты
выходов
1
успешно
1
сумма
5
задачи
32
а
+
б
+!
в
+
г
+
д
+
результаты
выходов
1
успешно
1
сумма
3
задачи
35
а
+
б
+
36
+!
результаты
выходов
0
успешно
0
сумма
4
задачи
41
+
42
а
+
44
+
45
+
результаты
выходов
1
успешно
1
сумма
5
задачи
46
+
47
+!
51
а
+
б
+
в
+
результаты
выходов
2
успешно
2
сумма
4
задачи
52
+
53
+
54
+!
56
+!
результаты
выходов
1
успешно
1
сумма
6
задачи
59
+
63
+
64
а
+
б
+!
65
а
+
б
+
результаты
выходов
0
успешно
0
сумма
5
задачи
66
+
67
+
70
а
+
71
а
+
б
+
результаты
выходов
1
успешно
1
сумма
5
задачи
73
+!
74
+
75
+
76
а
+
б
+
Щербин Егор
Результаты
Контрольная
Переписка
21.02
28.02
07.03
15.03
21.03
28.03
04.04
11.04
18.04
25.04
02.05
16.05
результаты
процент
55%
выходов
13
успешно
13
сумма
74
контрольная
4,3
переписка
зачет
+
1
итог
+
21.02
8
28.02
13
07.03
3
2
итог
+
15.03
6
21.03
8
28.03
6
3
итог
+
04.04
3
11.04
6
18.04
3
4
итог
+
25.04
7
02.05
6
16.05
5
задачи
сумма
4,3
1
1
2
1
3
1
4
1
5
0,3
задачи
сумма
результаты
выходов
1
успешно
1
сумма
8
задачи
4
+
5
+
6
а
+!
б
+
7
+
8
+
9
а
+
10
+
результаты
выходов
3
успешно
3
сумма
13
задачи
11
+!
12
+
14
+
15
+
16
+!
17
а
+
б
+
в
+
18
а
+
б
+
в
+!
г
+
д
+
результаты
выходов
0
успешно
0
сумма
3
задачи
20
+
22
+
24
+
результаты
выходов
1
успешно
1
сумма
6
задачи
25
а
+
б
+
26
а
+
28
+!
29
а
+
б
+
результаты
выходов
1
успешно
1
сумма
8
задачи
30
а
+
б
+!
31
+
32
а
+
б
+
в
+
г
+
д
+!
результаты
выходов
1
успешно
1
сумма
6
задачи
35
а
+
б
+
в
+
36
+
37
+!
38
+
результаты
выходов
0
успешно
0
сумма
3
задачи
41
+
42
а
+
45
+
результаты
выходов
1
успешно
1
сумма
6
задачи
46
+
47
+
48
+!
51
а
+
б
+
в
+
результаты
выходов
0
успешно
0
сумма
3
задачи
52
+
53
+
54
+
результаты
выходов
1
успешно
1
сумма
7
задачи
59
+
62
+
63
+!
64
а
+
б
+
65
а
+
б
+
результаты
выходов
2
успешно
2
сумма
6
задачи
66
+
67
+
68
+!
69
+!
71
а
+
б
+
результаты
выходов
1
успешно
1
сумма
5
задачи
73
+
74
+
75
+!
76
а
+
б
+