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