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

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

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

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

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

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

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

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

5 уроков
1. О Томском государственном университете
2. Как устроен курс
3. О команде курса
4. Сертификат
5. Дополнительные материалы для курса

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

8 уроков
1. Характеристика класса рассматриваемых дискретных систем
2. Задание к подразделу
3. Вопрос для обсуждения: Обсуждение к лекции 2.1
4. Конечный автомат. Примеры, способы задания
5. Задание к подразделу
6. Возникновение частичности и недетерминизма
7. Задание к подразделу
8. Итоговый тест к модулю

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

10 уроков
1. Минимизация автоматов
2. Задание к подразделу
3. Инициальные автоматы, эквивалентность и различимость для них
4. Задание к подразделу
5. Модель неисправности
6. Задание к подразделу
7. Построение проверяющих тестов для детерминированных автоматов
8. Задание к подразделу
9. Итоговый тест к модулю
10. Вопрос для обсуждения

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

10 уроков
1. Общая структура теста
2. Задание к подразделу
3. Построение множества достижимости
4. Задание к подразделу
5. Вопрос для обсуждения: Обсуждение к лекции 4.3
6. Построение множества различимости
7. Задание к подразделу
8. Вопрос для обсуждения: Обсуждение к лекции 4.6
9. Идентификация состояний и проверка переходов
10. Вопрос для обсуждения

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

9 уроков
1. Базовые логические элементы. Комбинационные схемы
2. Итоговый тест к лекции
3. Элементы памяти и примеры их описания конечными автоматами
4. Итоговый тест к лекции
5. Построение конечного автомата по последовательностной схеме
6. Итоговый тест к лекции
7. Пример описания цифровой схемы автоматной моделью
8. Итоговый тест к лекции
9. Тренировочное задание

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

4 урока
1. Интервью со специалистами-практиками (часть 1)
2. Интервью со специалистами-практиками (часть 2)
3. Адаптация проверяющих тестов для автоматов к тестированию ПО
4. Видео-инструкция по выполнению итогового задания

Заключение

1 урок
1. Заключительная лекция

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

1 урок
1. Итоговое задание