Верещагин Н.К., Шень А. - Языки и исчисления

Автор(ы)

Современные лекционные курсы

Год

2000

Язык

rus

Теги

Математика Художественная литература

Аннотация

Языки и исчисления Год выпуска : 2000 Автор : Верещагин Н.К., Шень А. Жанр : математика, логика Издательство : МЦНМО ISBN : 5-900916-39-1 Серия : Современные лекционные курсы Формат : DjVu Качество : eBook (изначально компьютерное) Количество страниц : 291 Язык : русский Описание : Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга включает себя около 200 задач различной трудности. оглавление скрины