filmov
tv
Ломоносовские чтения 2020: Математическая логика и теория алгоритмов (Золин, Шехтман) (21.10.2020)
Показать описание
Доклады:
00:00. Поздравления Алексея Львовича Семёнова с его 70-летием.
18:04. Модальные логики с оператором транзитивного замыкания (Евгений Золин, мехмат МГУ)
45:27. О модальных логиках деревьев (Валентин Борисович Шехтман, ИППИ РАН, мехмат МГУ).
============================================
Научно-исследовательский семинар
по математической логике
под руководством
академика РАН С. И. Адяна,
академика РАН Л. Д. Беклемишева
и академика РАН А. Л. Семёнова
(по средам в ауд. 16-04 ГЗ МГУ)
Веб-страница семинара:
00:00. Поздравления Алексея Львовича Семёнова с его 70-летием.
18:04. Модальные логики с оператором транзитивного замыкания (Евгений Золин, мехмат МГУ)
45:27. О модальных логиках деревьев (Валентин Борисович Шехтман, ИППИ РАН, мехмат МГУ).
============================================
Научно-исследовательский семинар
по математической логике
под руководством
академика РАН С. И. Адяна,
академика РАН Л. Д. Беклемишева
и академика РАН А. Л. Семёнова
(по средам в ауд. 16-04 ГЗ МГУ)
Веб-страница семинара:
0:27:25
1:29:06
1:14:03
0:03:53
0:22:10
1:23:43
1:13:52
1:12:19
3:30:29
1:22:44
0:10:34
1:39:56
0:30:51
1:33:14
0:09:29
0:01:58
3:06:21
1:37:36
0:58:45
1:04:40
0:59:01
1:21:03
0:08:27