Мини-курс Н. А. Баженова и И. Ш. Калимуллина «Конструктивные модели для неклассических предикатных логик» (April 4–5, 2024, Steklov Mathematical Institute, Room 104 (8 Gubkina) + Zoom, Moscow)
|
, Moscow, April 4–5, 2024 |
|
|
April 4, 2024 (Thu) |
|
1. |
Конструктивные модели для неклассических предикатных логик. Лекция 1 N. A. Bazhenov, I. Sh. Kalimullin April 4, 2024 16:00–17:30, Moscow, Steklov Mathematical Institute, Room 104 (8 Gubkina) + Zoom
|
|
|
|
|
|
April 5, 2024 (Fri) |
|
2. |
Конструктивные модели для неклассических предикатных логик. Лекция 2 N. A. Bazhenov, I. Sh. Kalimullin April 5, 2024 16:00–17:30, Moscow, Steklov Mathematical Institute, Room 104 (8 Gubkina) + Zoom
|
|
|
|
|
|