5. Coq. Разбор д-ва терминируемости алгоритма Евклида
Лекция №5 курса «Семантика языков программирования» (весна 2022).
Преподаватель — Антон Подкопаев
Страница лекции на сайте CS центра:
1 year ago 01:00:17 2
8 years ago 00:03:28 22
![- COQ (M.M Story#1) [OKLM Radio]](https://sun9-43.userapi.com/fnTiZW0wlR5t5dddQIdbYZy0k0YXVDYmxkXOVA/yloYuDHadb0.jpg)
12 years ago 00:02:50 20
11 years ago 00:02:45 10
![[11/14] A. Le Coq Premium liiga: FC Flora vs Tallinna Kalev 5-1](https://sun9-38.userapi.com/vLX1iHIzN60_wzBcKofc1cwIAok9TUoi-HUdKA/eqIe413HhnQ.jpg)
2 years ago 00:25:28 10
2 years ago 00:01:00 1
1 year ago 00:00:00 1
1 year ago 00:15:01 1
2 years ago 00:05:39 1
1 year ago 00:14:32 1
6 years ago 00:14:23 1
4 years ago 00:05:10 1
2 years ago 00:22:10 7
3 years ago 01:53:17 1
6 years ago 00:00:41 3
6 years ago 00:00:42 2
6 years ago 00:00:43 1
1 year ago 00:00:29 1
10 years ago 00:02:03 2
2 years ago 00:32:31 18
6 years ago 00:02:39 22
7 years ago 00:10:13 805
5 years ago 00:02:38 71
9 years ago 00:03:14 41
