Дзен Видео Downloader

Самый простой способ скачать Дзен видео, музыку, миниатюру без водяных знаков и логотипа.

Teach-In

59 • 12 месяцев назад

Миронов А.М. - Формальная семантика и верификация ПО - 2. Верификация программ (продолжение)

КОНЧИК! Щелкните правой кнопкой мыши и выберите "Save link as..." для загрузки.

Верификация программ (продолжение). Сортировка пузырьком


Курс: Формальная семантика и верификация программного обеспечения

Ссылка на плейлист:
https://www.youtube.com/playlist?list=PLcsjsqLLSfNCzu0a1xnmDpX4cCO-KpkIc
Григорьев М.А. - Теория поля - 1. Пространство 01:28:15
Григорьев М.А. - Теория поля - 1. Пространство
Teach-In Teach-In
853
Теория групп, колец и полей 7 Великая теорема Ферма, случай n=3, окончание! 01:12:40
Теория групп, колец и полей 7 Великая теорема Ферма, случай n=3, окончание!
Маткульт-привет! :: Алексей Савватеев и Ко Маткульт-привет! :: Алексей Савватеев и Ко
8
Информатика. ОГЭ - 2025. Задача 16. Напишите программу для решения задачи. Языки программирования Python, Паскаль 16:52
Информатика. ОГЭ - 2025. Задача 16. Напишите программу для решения задачи. Языки программирования Python, Паскаль
Информатика для всех Информатика для всех
105
Никанорова Е. А. - Механика. Семинары - Кинематика материальной точки и простейших систем 01:42:56
Никанорова Е. А. - Механика. Семинары - Кинематика материальной точки и простейших систем
Teach-In Teach-In
102
Компиляция и интерпретация за 10 минут 10:28
Компиляция и интерпретация за 10 минут
Listen IT Listen IT
221
2 задание таблица истинности ЕГЭ Информатика. Демо-2025 07:00
2 задание таблица истинности ЕГЭ Информатика. Демо-2025
Информатика Сегодня Информатика Сегодня
23
К первой паре / Эконометрика. Лекция 11. Ошибки спецификации модели 01:13:44
К первой паре / Эконометрика. Лекция 11. Ошибки спецификации модели
Вышка Онлайн в Дзене Вышка Онлайн в Дзене
8
Парфенов К.В. - Физика без формул - 6. Квантовые компьютеры и квантовая криптография 36:18
Парфенов К.В. - Физика без формул - 6. Квантовые компьютеры и квантовая криптография
Teach-In Teach-In
56
Симметричная криптография. Классификация шифров (Губанов Алексей) 07:39
Симметричная криптография. Классификация шифров (Губанов Алексей)
Михаил Рыбков Михаил Рыбков
315
Как найти компоненты связности в орграфе 15:35
Как найти компоненты связности в орграфе
Математика для хомяков Математика для хомяков
106
3_05.Выражение. Оператор. Операнд. Операция 07:18
3_05.Выражение. Оператор. Операнд. Операция
Future People Future People
131
Трепалин А.С. - Алгебра. Часть 3. Семинары - 4. Конечно порожденные абелевы группы 01:33:31
Трепалин А.С. - Алгебра. Часть 3. Семинары - 4. Конечно порожденные абелевы группы
Teach-In Teach-In
38
Защита программ и данных. 9в Нестандартные обращения к функция ОС 08:02
Защита программ и данных. 9в Нестандартные обращения к функция ОС
Михаил Рыбков Михаил Рыбков
58