|
Научно-исследовательский семинар по математической логике
ГЗ МГУ, ауд. 16-04, г. Москва
|
| Научно-исследовательский семинар по математической логике, г. Москва |
|
|
19 декабря 2018 г. (ср) |
 |
| 1. |
Заседание, посвященное памяти профессора Владимира Андреевича Успенского (27.11.1930—27.06.2018).
19 декабря 2018 г., г. Москва, ГЗ МГУ, ауд. 16-04
|
|
|
|
|
|
5 декабря 2018 г. (ср) |
|
| 2. |
Алгоритмическая выразительность неклассических предикатных логик, задаваемых классами шкал Крипке, не определимыми в логике первого порядка
М. Н. Рыбаков
5 декабря 2018 г., г. Москва, ГЗ МГУ, ауд. 16-04
|
|
|
|
|
|
|
21 ноября 2018 г. (ср) |
|
| 3. |
Секвенциальные исчисления с нефундированными выводами для логик Гжегорчика
Ю. В. Саватеев
21 ноября 2018 г., г. Москва, ГЗ МГУ, ауд. 16-04
|
|
|
|
|
|
|
7 ноября 2018 г. (ср) |
|
| 4. |
Сложность конечных автоматов в терминах количества состояний и ее поведение при различных операциях
М. А. Раскин
7 ноября 2018 г., г. Москва, ГЗ МГУ, ауд. 16-04
|
|
|
|
|
|
|
Руководители
Обратная связь: