Николай Верещагин (Nikolay Vereshchagin)
Домашняя страница исследователя: http://lpcs.math.msu.su/~ver/
Список научных работ исследователя на DBLP
Ученая степень: доктор наук
Научные интересы: колмогоровская сложность, разрешимые теории, теория сложности.
Исследовательские центры:
Дополнительная информация об исследователе:
В разделе «Teaching» располагаются материалы курсов:
* Курс по колмогоровской сложности: есть пособие на английском языке;
* Курс «Формальные теории»: доступны конспекты лекций по формальной арифметике и про конструктивные множества;
* Курс «Введение в математическую логику»: доступен конспект лекций (основные темы: логика высказываний, исчисление высказываний, языки первого порядка, исчисление предикатов).
В разделе «Books» приводятся ссылки на популярные книги Верещагина и Шеня («Начала теории множеств», «Языки и исчисления», «Вычислимые функции»), а также на фрагменты будущей книги по колмогоровской сложности.
С научными статьями можно ознакомиться в разделе «Research».