6. Семантика малого шага, логика Хоара
Лекция №6 курса «Семантика языков программирования» (весна 2022).
Преподаватель — Антон Подкопаев
Страница лекции на сайте CS центра:
1 month ago 00:37:31 1
1 month ago 00:07:38 1
1 month ago 00:01:40 1
1 month ago 00:18:03 1
1 month ago 00:04:47 1
1 month ago 01:31:21 1
2 months ago 00:21:17 1
2 months ago 00:17:23 1
2 months ago 00:57:24 1
2 months ago 00:45:34 1
2 months ago 00:09:01 1
2 months ago 00:07:48 3
2 months ago 00:34:02 1
2 months ago 00:11:42 1
2 months ago 00:08:25 1
2 months ago 00:08:56 1
2 months ago 00:26:28 1
2 months ago 00:21:26 1
3 months ago 00:04:18 1
3 months ago 01:55:58 1
3 months ago 01:50:21 3
3 months ago 00:08:24 2
3 months ago 00:11:02 1
3 months ago 01:13:10 1
