Информатика - уроки для подготовки к экзаменам ЕГЭ ОГЭ Computer Science Center Computer Science Center 8. Введение в слабые модели памяти Канал видео: Computer Science Center 23.08.2022 0 10. Декларативные модели памяти (2/2) Канал видео: Computer Science Center 23.08.2022 0 12. Семантические зависимости для моделей памяти (2/2) Канал видео: Computer Science Center 23.08.2022 0 6. Семантика малого шага, логика Хоара Канал видео: Computer Science Center 23.08.2022 0 11. Семантические зависимости для моделей памяти (1/2). Структуры событий Канал видео: Computer Science Center 23.08.2022 0 9. Декларативные модели памяти (1/2) Канал видео: Computer Science Center 23.08.2022 0 5. Coq. Разбор д-ва терминируемости алгоритма Евклида Канал видео: Computer Science Center 23.08.2022 0 4. Множественные цели в Coq. Д-во корректности Constant Folding Канал видео: Computer Science Center 23.08.2022 0 7. Coq. Семантика малого шага, логика Хоара Канал видео: Computer Science Center 23.08.2022 0 1. Семантика и её значение Канал видео: Computer Science Center 23.08.2022 0 2. Введение в Coq Канал видео: Computer Science Center 23.08.2022 0 3. Семантика большого шага для императивного языка Канал видео: Computer Science Center 23.08.2022 0 11. Линейное программирование Канал видео: Computer Science Center 09.08.2022 0 9. Scapegoat Tree Канал видео: Computer Science Center 09.08.2022 0 6. Паросочетания в произвольных графах Канал видео: Computer Science Center 08.08.2022 0 8. Потоки в транспортных сетях, часть 2 Канал видео: Computer Science Center 08.08.2022 0 12. Совершенное паросочетание минимальной стоимости Канал видео: Computer Science Center 08.08.2022 0 10. Fusion-дерево Канал видео: Computer Science Center 08.08.2022 0 7. Потоки в транспортных сетях Канал видео: Computer Science Center 08.08.2022 0 13. Быстрое преобразование Фурье Канал видео: Computer Science Center 08.08.2022 0 ← Предыдущая Следующая → 1 2 3 4 Последняя Показаны 1-20 из 347