КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Обложка Верещагин Н.К. Языки и исчисления (Лекции по математической логике и теории алгоритмов. Часть 2)
Id: 226483
 
213 руб.

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

2017. 240 с. Мягкая обложка. ISBN 978-5-4439-0944-8.

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

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

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

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

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

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

интересующихся математической логикой. Книга содержит около 200 задач

различной трудности.

Предыдущее издание книги вышло в 2012 г.