Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. Н. К. Верещагин
292 руб
Книга написана по материалам лекций и семинаров,проводившихся авторами для студентов младших курсов мехмата МГУ. В нейрассказывается об основных понятиях математической логики (логикавысказываний, языки первого порядка, выразимость, исчисление высказываний,разрешимые теории, теорема о полноте, начала теории моделей). Изложениерассчитано на учеников математических школ, студентов-математиков и всехинтересующихся математической логикой. Книга содержит около 200 задачразличной трудности.Предыдущее издание книги вышло в 2012 г.
» Каталог
» Книги » Учебная литература » Студентам и аспирантам » Естественные науки. Математика » Математика » Основания математики. Математическая логика. Теория чисел