Курс на Stepik
Обложка курса «Доказательства» на Stepik
1 890₽ -50%
--:--:--
945 ₽

Доказательства ★ 4.667

Открыть на
STEPIK.ORG

Доказательства нужны во всех разделах компьютерных наук: нужно доказывать корректность программ, алгоритмов, протоколов, а также оценки на их эффективность. Мы познакомимся с распространёнными типами доказательств (доказательства существования, оптимальности, корректности; метод математической индукции; оценки скорости роста), а также узнаем, как доказательства классифицируются в компьютерных науках с вычислительной точки зрения (увидим примеры интерактивных и вероятностно проверяемых доказательств).

Показатель Текущие показатели Рост
Значение 🏆 Рейтинг 3 дн 7 дн 30 дн
Количество учеников на курсе «Доказательства»Учеников на курсе 374
Сертификаты, выданные на курсе «Доказательства»Сертификатов выдано 25
Отзывы о курсе «Доказательства»Отзывов получено 3
Рейтинг курса «Доказательства»Рейтинг курса 4.667
Уроки в курсе «Доказательства»Количество уроков 25
Тесты в курсе «Доказательства»Количество квизов 47
Задачи с кодом в курсе «Доказательства»Количество задач с кодом 11
Время прохождения курса «Доказательства»Время прохождения курса —
Стоимость курса «Доказательства»Стоимость курса 1 890 ₽ —
Обновления курса «Доказательства»Обновления курса — —
Дата публикации курса «Доказательства»Дата публикации курса — ———
Последнее обновление курса «Доказательства»Последнее обновление — ———
Сложность easy — ———

Содержание курса

Разделы в курсе «Доказательства» 5 разделов Уроки в курсе «Доказательства» 25 уроков Тесты в курсе «Доказательства» 47 тестов Задачи в курсе «Доказательства» 11 задач Время прохождения курса «Доказательства» 6 ч. Последнее обновление курса «Доказательства» обн. 16 февраля 2026

1. О курсе

1 урок
Закрытый
1.1 Добро пожаловать! ↗
101
75
6м 12с
8

2. Доказательства существования и оптимальности

7 уроков
Открытый
2.1 Конструктивные доказательства существования ↗
1 912
228
10м 3с
42
Открытый
2.2 Трудные и открытые задачи в теории чисел (опционально) ↗
659
34
42м 49с
11
Закрытый
2.3 Доказательства несуществования ↗
103
70
11м 43с
12
Закрытый
2.4 Неконструктивные доказательства существования ↗
84
57
10м 20с
7
Закрытый
2.5 Больше неконструктивных доказательств (опционально) ↗
69
50
8м 11с
5
Закрытый
2.6 Доказательства оптимальности ↗
62
42
22м 56с
6
Закрытый
2.7 Применение: коды, исправляющие ошибки (опционально) ↗
40
0
16м 47с
0

3. Доказательства универсальных утверждений: индукция

6 уроков
Открытый
3.1 Метод математической индукции ↗
518
65
6м 21с
7
Закрытый
3.2 База индукции ↗
43
14
94м 25с
3
Закрытый
3.3 Полная индукция ↗
38
23
8м 34с
4
Закрытый
3.4 Метод минимального контрпримера ↗
33
26
3м 52с
1
Закрытый
3.5 Усиление утверждения ↗
32
21
6м 11с
4
Закрытый
3.6 Вложенные утверждения (опционально) ↗
30
12
3м 5с
2

4. Доказательства корректности алгоритмов и оценок на время работы

5 уроков
Открытый
4.1 Многочлен, экспонента и логарифм ↗
412
30
11м 27с
8
Закрытый
4.2 Скорость роста функций ↗
35
21
13м 3с
4
Закрытый
4.3 Инварианты и алгоритмы ↗
33
20
22м 6с
3
Закрытый
4.4 Отгадывание числа ↗
18
3
2м 10с
2
Закрытый
4.5 Приложение: сжатие данных (опционально) ↗
20
4
4м 49с
1

5. Доказательства в компьютерных науках (опционально)

6 уроков
Открытый
5.1 Сертификаты ↗
370
146
1м 1с
1
Закрытый
5.2 Теория вычислимости ↗
32
18
2м 52с
2
Закрытый
5.3 Теория сложности вычислений ↗
32
17
2м 18с
2
Закрытый
5.4 Интерактивные доказательства ↗
28
18
2м 50с
3
Закрытый
5.5 Доказательства с нулевым разглашением ↗
28
18
3м 29с
3
Закрытый
5.6 Вероятностно проверяемые доказательства ↗
28
4
1м 12с
1