RUSSIAN

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

By Верещагин Н.К. , Шень А.

Book information

Publisher
Московский центр непрерывного математического образования
Year
2008
ISBN
978-5-94057-322-7
Language
russian
Format
PDF
Filesize
1 MB (1300794 bytes)
Edition
3-е доп
Pages
288\288
Time added
2017-04-20 00:00:00
Дискретная математика и математическая логика;Мате

Description

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

Similar books