|
|
Традиционными темами исследований, проводимых в лаборатории
математической логики, являются
|
основания математики, |
теория доказательств, |
поиск логического вывода, |
алгоритмические вопросы алгебры и теории чисел. |
В последние годы появилось новое направление - дискретная математика
(в основном теория графов).
|
|