Computer Science Center 4. Множественные цели в Coq. Д-во корректности Constant Folding

🎯 Загружено автоматически через бота: 🚫 Оригинал видео: 📺 Данное видео принадлежит каналу «Computer Science Center» (@CompscicenterRu). Оно представлено в нашем сообществе исключительно в информационных, научных, образовательных или культурных целях. Наше сообщество не утверждает никаких прав на данное видео. Пожалуйста, поддержите автора, посетив его оригинальный канал. ✉️ Если у вас есть претензии к авторским правам на данное видео, пожалуйста, свяжитесь с нами по почте support@, и мы немедленно удалим его. 📃 Оригинальное описание: Лекция №4 курса «Семантика языков программирования» (весна 2022). Преподаватель — Антон Подкопаев Страница лекции на сайте CS центра: