Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Политика конфиденциальности | Согласие на обработку персональных данных
Введение в формальную верификацию программ, лекция 6 | А. Трунов
Лекция 2 | Введение в язык формальной верификации Coq | Антон Трунов | Лекториум
Алгоритмы на Python 3. Лекция №1
Введение в формальную верификацию программ, лекция 1 | А. Трунов
Как я УСКОРИЛ работу в 3 раза с помощью нейросетей
ООП на простых примерах. Объектно-ориентированное программирование
