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