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

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

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

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

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

норм, но иногда можно увидеть скример и придется днями сидеть в ютубе и с гпт чтобы хоть что-то понять (2-3 такие темы)

Дмитрий Павлов
Дмитрий Павлов
9 месяцев назад

Очень крутой курс, много интересных и полезных для прикладного программиста тем, например "коды, исправляющие ошибки" и "сжатие данных". Соглашусь с предыдущим отзывом о том, что хотелось бы побольше задачек именно на программирование, чтобы лучше закрепить полученные знания на практике) Рад, что появилась целая специализация по дискретной математике. На остальные курсы специализации я уже записался. Имеет ли значение в каком порядке проходить остальные курсы или они независимы?)

Ответ
автора
Александр Куликов
Александр Куликов
1 год назад

Дмитрий, спасибо за отзыв! В курс "Доказательства" я сегодня добавлю ещё один раздел про угадывание числа, в котором будет несколько интересных задач на программирование (напишу об этом в новости курса, как сделаю). А курсы специализации можно в любом порядке проходить, ага.

Ivan Gundyrev
Ivan Gundyrev
2 года назад

Полезный курс, было интересно. Жаль быстро закончился :-) Надеюсь авторы найдут силы и время дополнить курс новыми задачами и разделами - тематика курса богатая и актуальная! to Александр Куликов: Да задачек бы ещё :-), а так курс отличный!

Ответ
автора
Александр Куликов
Александр Куликов
2 года назад

Иван, спасибо за отзыв! Хотим расширить раздел про алгоритмы, ага. Четыре звезды за то, что мало задач, да? =)