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

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

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

УДК

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

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

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

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

51 экз.

Заказать на абонемент

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

1. Абонемент младших курсов №1, УЛК, ауд. 247л
2. Абонемент младших курсов №2, УЛК, ауд. 205л
3. Абонемент старших курсов, ГУК, ауд. 213
4. Абонемент третьего курса, УЛК, ауд. 311л
5. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
6. Преподавательский абонемент ауд.313, ГУК, ауд. 313
7. Читальный зал ауд.305л, УЛК, ауд. 305л
8. Читальный зал ауд.313, ГУК, ауд. 313

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

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

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

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

подробнее

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

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

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

подробнее

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

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

подробнее

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

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

подробнее