Курсы
Лекторы
Школьникам
Простыми словами
О проекте
HUB
open navigation menu
Войти
Главная
/
Курсы
/
Формальная семантика и верификация программного обеспечения
/
Лекция 2. Верификация программ (продолжение). Сортировка пузырьком
Массивы
x 1.00
Лекция 2. Верификация программ (продолжение). Сортировка пузырьком
К предыдущему видео
Дальше
Миронов
Андрей Михайлович
Зиборов
Кирилл Викторович
00:19
Массивы
03:03
Сортировка массива
10:19
Блок-схема для сортировки пузырьком
16:50
Проверка корректности
01:10:24
Проверка завершаемости