6. Семантика малого шага, логика Хоара

Лекция №6 курса «Семантика языков программирования» (весна 2022). Преподаватель — Антон Подкопаев Страница лекции на сайте CS центра: