Подробное описание документа

Успенский В. А., Верещагин Н. К., Плиско В. Е.
   Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - 2-е изд. - М. : Физматлит, 2002. - 125 с. - Библиогр.: с. 122. - ISBN 5-9221-0278-8.

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

УДК

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

Предметные рубрики

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

Общее кол-во в фондах

1 экз.

Заказать в читальный зал

1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
2. Читальный зал ауд.313, ГУК, ауд. 313

Похожие издания

Успенский В. А., Верещагин Н. К., Плиско В. Е.
   Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - М. : Физматлит, 2007. - 125 с. - Библиогр.: с. 122. - Авт. на обл. не указаны. - ISBN 978-5-9221-0278-0.

Читать онлайн

Кол-во в фондах 13 экз.

подробнее

Успенский, В. А. Вводный курс математической логики : учебное пособие / В. А. Успенский. — 2-е изд. — Москва : ФИЗМАТЛИТ, 2007. — 128 с. — ISBN 978-5-9221-0278-0.

Читать онлайн

Коллекция ЭБС «Лань»

подробнее

Успенский В. А., Верещагин Н. К., Плиско В. Е.
   Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - М. : Физматлит, 2004. - 125 с. - Библиогр.: с. 122. - ISBN 5-9221-0278-8.

Кол-во в фондах 51 экз.

подробнее

Успенский Р. А.
   Вводный курс математической логики. - М. : Изд-во МГУ, 1991. - 135 с.

Кол-во в фондах 1 экз.

подробнее