Содержание курса
1. Путеводитель по курсу
5 уроков
16 437
16 437
3м
81
Закрытый
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 уроков
5 077
3 932
47м
74
Закрытый
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 уроков
2 883
2 339
52м
18
Закрытый
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 уроков
2 070
1 846
46м
-3
Закрытый
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 уроков
2 250
1 474
100м
-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 урока
849
807
50м
2
Закрытый
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 урок
216
216
2м
0
Закрытый
7.1
Заключительная лекция
↗
216
216
2м 39с
0
8. Итоговая аттестация
1 урок
117
59
11м
-1
Закрытый
8.1
Итоговое задание
↗
117
59
11м 55с
-1