URSS.ru Магазин научной книги
Обложка Верещагин Н.К., Шень А. Языки и исчисления. (Лекции по математической логике и теории алгоритмов. Часть 2) Обложка Верещагин Н.К., Шень А. Языки и исчисления. (Лекции по математической логике и теории алгоритмов. Часть 2)
Id: 226483
Предварительный заказ! 

Языки и исчисления.
(Лекции по математической логике и теории алгоритмов. Часть 2). Ч.2. Изд. 5, стереотипное

2017. 240 с. ISBN 978-5-4439-0944-8. Букинист. Состояние: 4+.
  • Мягкая обложка

Аннотация

Книга написана по материалам лекций и семинаров,

проводившихся авторами для студентов младших курсов мехмата МГУ. В ней

рассказывается об основных понятиях математической логики (логика

высказываний, языки первого порядка, выразимость, исчисление высказываний,

разрешимые теории, теорема о полноте, начала теории моделей). Изложение

рассчитано на учеников математических школ, студентов-математиков и всех

интересующихся математической логикой.... (Подробнее)


Об авторе
top
Верещагин Николай Константинович
Доктор физико-математических наук, профессор кафедры математической логики и теории алгоритмов механико-математического факультета МГУ имени М. В. Ломоносова. Профессор факультета компьютерных наук НИУ ВШЭ и Школы анализа данных ООО «Яндекс». Учился в МГУ на механико-математическом факультете, который окончил в 1981 г. Там же окончил аспирантуру и защитил кандидатскую диссертацию под руководством В. А. Успенского в 1986 г. В 1996 г. защитил диссертацию на степень доктора физико-математических наук по теме «Релятивизуемость в структурной теории сложности вычислений». Специализируется в теории алгоритмов. Член Европейской академии по секции информатики. Автор и соавтор более 100 публикаций в международных рецензируемых научных изданиях и 8 книг.