Успенский В. А. , Верещагин Н. К. , Плиско В. Е.

Вводный курс математической логики: учебное пособие
 
 
ISBN: 978-5-9221-0278-0
УДК: 510.7
ББК: 22.12
 
Москва: Физматлит, 2007
Number of pages: 126
Additional information: 2-е изд.
 

No view is available.

The book is accessible only through subscription.

Bibliographic description

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

Contents

MARC record