• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Кампус вМоскве
Версия для слабовидящих
Расширенный поиск по сайту
Меню
Высшая школа экономики

Расширенный поиск по сайту
Кампусы
Подразделения
Подразделения
Подразделения
Подразделения
По категориям
По учёным званиям и степеням
По должностям
По наградам
Научные интересы
сбросить фильтры

Научные интересы: «mathematical logic»Подразделения

ФИО и должность
Контакты
+7 (495) 772-95-90
15304
Беклемишев Лев Дмитриевич

Профессор: Факультет математики / Базовая кафедра Математического института им. В.А. Стеклова РАН

математическая логикатеория доказательствформальная арифметикалогика доказуемостимодальная логика
15304
Запрягаев Александр Александрович

Стажер-исследователь: Международная лаборатория логики, лингвистики и формальной философии
Старший преподаватель: Факультет компьютерных наук / Департамент больших данных и информационного поиска

математическая логикаформальная арифметика27.03.00 Основания математики и математическая логика
+7 (495) 772-95-90
27211
Поляков Николай Львович

Доцент: Факультет экономических наук / Департамент математики

математическая логика и теория моделейтеория Рамсеятеория коллективного выбораультрарасширения моделей
+7 (495) 772-95-90
15304
Шехтман Валентин Борисович

Профессор: Факультет математики / Базовая кафедра Института проблем передачи информации им.А.А.Харкевича (ИППИ) РАН

математическая логиканеклассические логикиуниверсальная алгебратопологияинформатика
Национальный исследовательский университет «Высшая школа экономики» → О Вышке → Преподаватели и сотрудники
Редактору
© НИУ ВШЭ 1993–2021  Адреса и контакты  Условия использования материалов  Политика конфиденциальности  Карта сайта 

Шрифты HSE Sans и HSE Slab разработаны в Школе дизайна НИУ ВШЭ