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