«И» «ИЛИ»  
© Публичная Библиотека
 -  - 
Универсальная библиотека, портал создателей электронных книг. Только для некоммерческого использования!
Верещагин Николай Константинович
Фотографии

Николай Константинович Верещагин 38k

-

(27.10.1958)

◄ СМЕНИТЬ   РАЗВЕРНУТЬ ▼
▲ СВЕРНУТЬ    СМЕНИТЬ ►
Окончил механико-математический факультет МГУ (1981).
Кандидат физико-математических наук (1984). Доктор физико-математических наук (1995). Профессор (1997).
Профессор кафедры математической логики и теории алгоритмов механико-математического факультета (1998 - н. вр.).
Область научных интересов: сложность вычислений, колмогоровская сложность, разрешимые теории.
Тема кандидатской диссертации «Алгоритмические проблемы для линейных рекуррентных последовательностей». Тема докторской диссертации «Релятивизируемость в структурной теории сложности вычислений».
Читает курсы «Математическая логика и теория алгоритмов», «Геометрия и топология», «Теоретико-сложностные проблемы криптографии», «Сложность вычислений», «Колмогоровская сложность», «Коды, исправляющие ошибки», «Метод вынуждения», «Коммуникационная сложность», «Алгоритмические методы в теории сложности».
Обложки
николай константинович верещагин на страницах библиотеки упоминается 1 раз:
* Верещагин Николай Константинович
Обложка 1
  • Верещагин Н.К... Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. [Pdf- 3.4M] Авторы: Н.К. Верещагин, А. Шень.
    (Москва: Издательство МЦНМО, 1999)
    Скан, OCR, обработка, формат Pdf: Евгений Попов, 2015
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие (4).
      1. Множества и мощности (6).
      2. Упорядоченные множества (49).
      Литература (121).
Аннотация издательства: Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы) Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает в себя около 150 задач различной трудности.
Обложка 2
Обложка 1
  • Верещагин Н.К... Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. [Pdf- 8.3M] Авторы: Н.К. Верещагин, А. Шень.
    (Москва: Издательство МЦНМО, 2000)
    Скан, OCR, обработка, формат Pdf: Евгений Попов, 2015
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие (5).
      1. Логика высказываний (9).
      2. Исчисление высказываний (48).
      3. Языки первого порядка (88).
      4. Исчисление предикатов (158).
      5. Теории и модели (206).
      Литература (274).
      Предметный указатель (278).
      Указатель имен (289).
Аннотация издательства: Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Обложка 2
Обложка 1
  • Верещагин Н.К... Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. [Pdf- 4.7M] Авторы: Н.К. Верещагин, А. Шень.
    (Москва: Издательство МЦНМО, 1999)
    Скан, OCR, обработка, формат Pdf: Евгений Попов, 2015
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие (6).
      1. Вычислимость, разрешимость и перечислимость (8).
      2. Универсальные функции и неразрешимость (17).
      3. Нумерации и операции (24).
      5. Теорема о неподвижной точке (45).
      6. m-сводимость и свойства перечислимых множеств (59).
      7. Вычисления с оракулом (76).
      8. Арифметическая иерархия (98).
      9. Машины Тьюринга (112).
      10. Арифметичность вычислимых функций (129).
      Литература (166).
      Предметный указатель (168).
      Указатель имен (174).
Аннотация издательства: Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга включает себя около 90 задач различной трудности.
Обложка 2