7. Coq. Семантика малого шага, логика Хоара
Лекция №7 курса «Семантика языков программирования» (весна 2022).
Преподаватель — Егор Намаконов
Страница лекции на сайте CS центра:
3 months ago 00:25:28 1
4 months ago 00:01:47 1
4 months ago 00:18:41 1
5 months ago 00:02:38 2
5 months ago 00:12:51 1
6 months ago 00:07:44 1
7 months ago 00:51:30 1
7 months ago 00:27:33 1
7 months ago 00:12:50 1
8 months ago 00:59:12 1
8 months ago 00:32:39 1
9 months ago 01:13:23 1
10 months ago 00:02:32 1
11 months ago 00:23:10 5
11 months ago 03:00:28 1
11 months ago 00:05:43 1
11 months ago 00:12:02 2
11 months ago 00:06:23 1
11 months ago 00:29:00 1
11 months ago 00:24:46 1
11 months ago 00:09:04 1
12 months ago 00:44:29 1
12 months ago 00:30:10 1
12 months ago 00:02:28 1
