|
Научно-исследовательский семинар по математической логике
|
|
|
|
December 19, 2018 (Wed) |
 |
| 1. |
Заседание, посвященное памяти профессора Владимира Андреевича Успенского (27.11.1930—27.06.2018).
December 19, 2018
|
|
|
|
|
|
December 5, 2018 (Wed) |
|
| 2. |
Алгоритмическая выразительность неклассических предикатных логик, задаваемых классами шкал Крипке, не определимыми в логике первого порядка
M. N. Rybakov
December 5, 2018
|
|
|
|
|
|
|
November 21, 2018 (Wed) |
|
| 3. |
Секвенциальные исчисления с нефундированными выводами для логик Гжегорчика
Yu. V. Savateev
November 21, 2018
|
|
|
|
|
|
|
November 7, 2018 (Wed) |
|
| 4. |
Сложность конечных автоматов в терминах количества состояний и ее поведение при различных операциях
M. A. Raskin
November 7, 2018
|
|
|
|
|
|
|
|
Organizers
Contact us: