Курсы
Лекторы
Школьникам
Простыми словами
О проекте
HUB
open navigation menu
Войти
Главная
/
Курсы
/
Формальная семантика и верификация программного обеспечения
/
Лекция 1. Верификация программ. Метод Флойда
Введение
x 1.00
Лекция 1. Верификация программ. Метод Флойда
Дальше
Миронов
Андрей Михайлович
Зиборов
Кирилл Викторович
00:19
Введение
07:38
Метод Флойда. Вычисление квадрата натурального числа
44:01
Вычисление целой части корня неотрицательного числа
01:17:56
Возведение числа в степень