Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления 16+
Поделись книгой!
Автор: Н. К. Верещагин
Издательство: МЦНМО, 2017
Переплёт: Мягкая обложка, 240 страниц
Серия: Учебники для вузов
Категория: Учебная литература
ISBN: 978-5-4439-0944-8
Где найти книгу?
📒 Книга написана по материалам лекций и семинаров,
проводившихся авторами для студентов младших курсов мехмата МГУ. В ней
рассказывается об основных понятиях математической логики (логика
высказываний, языки первого порядка, выразимость, исчисление высказываний,
разрешимые теории, теорема о полноте, начала теории моделей). Изложение
рассчитано на учеников математических школ, студентов-математиков и всех
интересующихся математической логикой. Книга содержит около 200 задач
различной трудности.
Предыдущее издание книги вышло в 2012 г.
проводившихся авторами для студентов младших курсов мехмата МГУ. В ней
рассказывается об основных понятиях математической логики (логика
высказываний, языки первого порядка, выразимость, исчисление высказываний,
разрешимые теории, теорема о полноте, начала теории моделей). Изложение
рассчитано на учеников математических школ, студентов-математиков и всех
интересующихся математической логикой. Книга содержит около 200 задач
различной трудности.
Предыдущее издание книги вышло в 2012 г.
Мнения