Российская академия наук    
     
   

Общая информация
Общие сведения
Новости
Направления деятельности
Историческая справка
Схема проезда
Подразделения
Персональный состав


 
Login Print view Help 

Поиск атрибутный
  Организаций
  Персон

Структура учреждений РАН




Лаборатория математической логики

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



Последние изменения: 24.10.2005


119991 Москва, Ленинский просп., 14
Телефон: (495) 938-0309 (Справ. бюро); Факс: (495) 954-3320 (Лен.пр.14), (495) 938-1844 (Лен.пр,32а)
На главную страницу
В начало страницы
© РАН 2007