| |
|
|
Отдел математической логики
| Семинары отдела | Поздравления |
Публикации сотрудников отдела | |
|
|
| Сотрудники
|
Кузнецов Степан Львович
       
доктор физ.-матем. наук, заведующий отделом, ведущий научный сотрудник
комн.: 508; тел.: +7 (495) 984 81 41 * 36 34;
e-mail: sk@mi-ras.ru
Персональная страница: https://homepage.mi-ras.ru/~sk/
Основные направления исследований:
Теория доказательств, субструктурные логики, звёздочка Клини.
|
 |
Лысенок Игорь Геронтьевич
доктор физ.-матем. наук, ведущий научный сотрудник
комн.: 507; тел.: +7 (495) 984 81 41 * 37 52;
e-mail: lysionok@mi-ras.ru
Основные направления исследований:
Комбинаторная теория групп, алгоритмические вопросы теории групп.
|
 |
Пахомов Федор Николаевич
кандидат физ.-матем. наук, старший научный сотрудник
комн.: 515; тел.: +7 (495) 984 81 41 * 37 44;
e-mail: pakhfn@gmail.com
Основные направления исследований:
Теория доказательств, модальная логика, проблемы разрешимости.
|
 |
Подольский Владимир Владимирович
доктор физ.-матем. наук, ведущий научный сотрудник
комн.: 506; тел.: +7 (495) 984 81 41 * 37 46;
e-mail: podolskii@mi-ras.ru
Персональная страница: https://homepage.mi-ras.ru/~podolskii/
Основные направления исследований:
Теория сложности вычислений.
|
 |
Разборов Александр Александрович
доктор физ.-матем. наук, член-корр. РАН, главный научный сотрудник
комн.: 506; тел.: +7 (495) 984 81 41 * 37 46;
e-mail: razborov@mi-ras.ru
Персональная страница: https://homepage.mi-ras.ru/~razborov/
Основные направления исследований:
Теория сложности вычислений.
|
 |
Сперанский Станислав Олегович
кандидат физ.-матем. наук, старший научный сотрудник
комн.: 508; тел.: +7 (495) 984 81 41 * 36 34;
e-mail: katze.tail@gmail.com
Персональная страница: https://homepage.mi-ras.ru/~speranski
Основные направления исследований:
вероятностная логика, модальная логика, теория вычислимости.
|
 |
Таламбуца Алексей Леонидович
кандидат физ.-матем. наук, научный сотрудник
комн.: 507; тел.: +7 (495) 984 81 41 * 37 52;
e-mail: altal@mi-ras.ru
Основные направления исследований:
Комбинаторная теория групп, алгоритмические вопросы теории групп и полугрупп.
|
 |
Шамканов Данияр Салкарбекович
кандидат физ.-матем. наук, старший научный сотрудник
комн.: 515; тел.: +7 (495) 984 81 41 * 37 44;
e-mail: daniyar.shamkanov@gmail.com
Основные направления исследований:
Теория доказательств, комбинаторная логика, неклассические логики.
|
 |
Адян Сергей Иванович (01.01.1931 – 05.05.2020)
доктор физ.-матем. наук, академик РАН
Основные направления исследований:
Алгоритмические вопросы алгебры, теория полугрупп, теория групп.
|
 |
Маканин Геннадий Семенович (19.05.1938 – 18.05.2017)
доктор физ.-матем. наук, внештатный сотрудник
Основные направления исследований:
Комбинаторная теория групп, алгоритмические вопросы теории полугрупп.
|
 |
|
 Наверх |
|
Семинары отдела
|
| Наверх |
Поздравления
На заседании Ученого Совета МИАН 21 января 2016 года директор института академик РАН В. В. Козлов поздравил заведующего отделом математической логики академика РАН С. И. Адяна с 85-летием и от имени сотрудников института вручил приветственный адрес.
|
| Наверх |
 Публикации сотрудников отдела
|
|
Посмотреть карту
Список публикаций
