Н. К. Верещагин Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Н. К. Верещагин Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

скачать

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

Похожие файлы

1 thoughts to “Н. К. Верещагин Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления”

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *