Математическая логика

Список источников >Математика >Алгебра >Математическая логика >

Языки и исчисления

Автор: Верещагин Н.К., Шень А.
Год: 2000
Издание:

Страниц: [не указано]
ISBN: [не указан]
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Добавлено: 2009-08-09 01:26:36

Видео о книгах:

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2016, Список Литературы