RUSSIAN

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

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

Book information

Year
2002
Language
russian
Format
PDF
Filesize
2 MB (1664389 bytes)
Edition
2-е
Pages
289\289
Topic
Mathematics Logic
Library
Ihtik
Time added
2010-05-17 00:23:50
Математика;Математическая логика

Description

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

Similar books