Курс на Stepik
Обложка курса «Математика в тестировании дискретных систем» на Stepik
Бесплатно

Математика в тестировании дискретных систем 4.714

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

В курсе доступным языком с наглядными примерами излагаются базовые понятия теории автоматов, даются основы построения полных проверяющих тестов. Авторы демонстрируют особенности практического применения математических моделей для описания поведения дискретных систем и осуществления тестирования, подкрепляя теоретический материал интерактивными тренажерами и интервью со специалистами-практиками.

Показатель Текущие показатели Рост
Значение 🏆 Рейтинг 3 дн 7 дн 30 дн
Количество учеников на курсе «Математика в тестировании дискретных систем»Учеников на курсе 2 008
Сертификаты, выданные на курсе «Математика в тестировании дискретных систем»Сертификатов выдано 139
Отзывы о курсе «Математика в тестировании дискретных систем»Отзывов получено 7
Рейтинг курса «Математика в тестировании дискретных систем»Рейтинг курса 4.714
Уроки в курсе «Математика в тестировании дискретных систем»Количество уроков 47
Тесты в курсе «Математика в тестировании дискретных систем»Количество квизов 66
Время прохождения курса «Математика в тестировании дискретных систем»Время прохождения курса
Обновления курса «Математика в тестировании дискретных систем»Обновления курса
Дата публикации курса «Математика в тестировании дискретных систем»Дата публикации курса
Последнее обновление курса «Математика в тестировании дискретных систем»Последнее обновление

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

Разделы в курсе «Математика в тестировании дискретных систем» 8 разделов Уроки в курсе «Математика в тестировании дискретных систем» 47 уроков Тесты в курсе «Математика в тестировании дискретных систем» 66 тестов Время прохождения курса «Математика в тестировании дискретных систем» 6 ч. Последнее обновление курса «Математика в тестировании дискретных систем» обн. 14 марта 2026

1. Путеводитель по курсу

5 уроков
Закрытый
1.1 О Томском государственном университете
12 420
12 420
1м 17с
67
Закрытый
1.2 Как устроен курс
1 455
1 455
1м 40с
5
Закрытый
1.3 О команде курса
851
851
0м 24с
5
Закрытый
1.4 Сертификат
864
864
0м 11с
4
Закрытый
1.5 Дополнительные материалы для курса
847
847
1м 57с
0

2. Конечные автоматы

8 уроков
Закрытый
2.1 Характеристика класса рассматриваемых дискретных систем
950
725
8м 48с
21
Закрытый
2.2 Задание к подразделу
758
666
1м 1с
7
Закрытый
2.3 Вопрос для обсуждения: Обсуждение к лекции 2.1
687
687
0м 13с
8
Закрытый
2.4 Конечный автомат. Примеры, способы задания
734
507
11м 59с
16
Закрытый
2.5 Задание к подразделу
548
409
6м 19с
12
Закрытый
2.6 Возникновение частичности и недетерминизма
470
383
10м 53с
7
Закрытый
2.7 Задание к подразделу
429
372
1м 57с
3
Закрытый
2.8 Итоговый тест к модулю
501
183
10м 51с
0

3. Подходы к построению проверяющих тестов для конечных автоматов

10 уроков
Закрытый
3.1 Минимизация автоматов
381
289
10м 55с
5
Закрытый
3.2 Задание к подразделу
304
260
2м 15с
4
Закрытый
3.3 Инициальные автоматы, эквивалентность и различимость для них
292
242
10м 12с
5
Закрытый
3.4 Задание к подразделу
265
239
1м 51с
3
Закрытый
3.5 Модель неисправности
277
233
7м 36с
4
Закрытый
3.6 Задание к подразделу
264
225
1м 8с
0
Закрытый
3.7 Построение проверяющих тестов для детерминированных автоматов
281
222
8м 55с
2
Закрытый
3.8 Задание к подразделу
254
224
1м 0с
1
Закрытый
3.9 Итоговый тест к модулю
308
148
12м 57с
-6
Закрытый
3.10 Вопрос для обсуждения
257
257
0м 8с
0

4. Методы построения проверяющих тестов для модели черного ящика

10 уроков
Закрытый
4.1 Общая структура теста
271
221
10м 34с
3
Закрытый
4.2 Задание к подразделу
239
211
1м 56с
0
Закрытый
4.3 Построение множества достижимости
240
203
6м 32с
0
Закрытый
4.4 Задание к подразделу
105
84
5м 12с
-3
Закрытый
4.5 Вопрос для обсуждения: Обсуждение к лекции 4.3
217
217
0м 13с
0
Закрытый
4.6 Построение множества различимости
230
200
7м 54с
0
Закрытый
4.7 Задание к подразделу
108
85
4м 47с
-3
Закрытый
4.8 Вопрос для обсуждения: Обсуждение к лекции 4.6
218
218
0м 9с
0
Закрытый
4.9 Идентификация состояний и проверка переходов
232
197
14м 42с
0
Закрытый
4.10 Вопрос для обсуждения
210
210
0м 6с
0

5. Описание автоматами дискретных устройств и схем

9 уроков
Закрытый
5.1 Базовые логические элементы. Комбинационные схемы
298
242
10м 30с
4
Закрытый
5.2 Итоговый тест к лекции
276
204
4м 34с
-7
Закрытый
5.3 Элементы памяти и примеры их описания конечными автоматами
278
182
17м 16с
-1
Закрытый
5.4 Итоговый тест к лекции
245
109
5м 1с
-2
Закрытый
5.5 Построение конечного автомата по последовательностной схеме
235
194
9м 28с
0
Закрытый
5.6 Итоговый тест к лекции
221
158
4м 42с
1
Закрытый
5.7 Пример описания цифровой схемы автоматной моделью
224
187
11м 0с
0
Закрытый
5.8 Итоговый тест к лекции
233
160
3м 38с
-2
Закрытый
5.9 Задание на взаимное оценивание
240
38
38м 33с
-2

6. Практические аспекты тестирования

4 урока
Закрытый
6.1 Интервью со специалистами-практиками (часть 1)
229
229
17м 34с
2
Закрытый
6.2 Интервью со специалистами-практиками (часть 2)
201
201
9м 53с
0
Закрытый
6.3 Адаптация проверяющих тестов для автоматов к тестированию ПО
213
171
14м 53с
0
Закрытый
6.4 Видео-инструкция по выполнению итогового задания
206
206
11м 40с
0

7. Заключение

1 урок
Закрытый
7.1 Заключительная лекция
216
216
2м 39с
0

8. Итоговая аттестация

1 урок
Закрытый
8.1 Итоговое задание
117
59
11м 55с
-1