A
A
A

АБВ
АБВ
АБВ

А
А
А
А
А

Обычная версия сайта

Кампусы

Подразделения

Подразделения

Подразделения

Подразделения

По категориям

Ординарные профессораЗаслуженные профессораЗаслуженные работникиЛучшие преподавателиЧитающие курсы на английском языкеПолучатели академических надбавокАкадемический кадровый резервАдминистративный кадровый резервАспиранты

По учёным званиям и степеням

Члены и члены-корреспонденты РАН и РАОИмеющие степень PhD

По наградам

Награжденные государственными наградами и почетными званиямиОтмеченные наградами и почетными званиями Правительства, Федерального собрания и федеральных органов исполнительной властиОтмеченные наградами и почетными званиями регионов и муниципальных образованийНагражденные наградами иностранных государствНагражденные почетным знаком ВШЭЛауреаты премии “Золотая Вышка”Награжденные медалями ВШЭОтмеченные почетными грамотами университета

Научные интересы

сбросить фильтры

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

ФИО и должность

Контакты

+7 (495) 772-95-90
15304

Беклемишев Лев Дмитриевич

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

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

15304

Запрягаев Александр Александрович

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

математическая логика формальная арифметика 27.03.00 Основания математики и математическая логика

27269

Колесниченко Игнатий Игоревич

Приглашенный преподаватель: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Базовая кафедра Яндекс

структуры данных алгоритмы для иерархий памяти комбинаторная оптимизация обработка больших данных биоинформатика математическая логика

15304

Колмаков Евгений Александрович

Старший преподаватель: Факультет математики

математическая логика теория доказательств формальная арифметика теория алгоритмов

+7 (495) 772-95-90
22668

Кузнецов Степан Львович

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

математическая логика

2744

Оноприенко Анастасия Александровна

Преподаватель: Факультет компьютерных наук / Департамент больших данных и информационного поиска

математическая логика

+7 (495) 772-95-90
15304

Рыбаков Михаил Николаевич

доцент: Факультет математики

математическая логика математическая логика и теория моделей модальная логика интуиционистская логика Теория вычислительной сложности теория алгоритмов

84957729590
27289

Таламбуца Алексей Леонидович

Доцент: Факультет компьютерных наук / Департамент больших данных и информационного поиска

геометрическая теория групп теория групп математическая логика

+7 (495) 772-95-90
15304

Шехтман Валентин Борисович

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

математическая логика неклассические логики универсальная алгебра топология информатика