Сводный каталог книг

[Текст] : монография / В.А. Успенский, Н.К. Верещагин, В.Е. Плиско. - 2-е изд. - Москва : Физматлит, 2002. - 128 с. - Библиогр.: с. 122. - Предм. указ.: с. 123-125. - ISBN 5-9221-0278-8 : 158.50 р.ББК В12я73

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Верещагин, Николай Константинович; Плиско, Валерий Егорович
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)