Успенский В.А. / Вводный курс математической логики

Рубрика: Русский Круг 31 Август 2009

Название: Вводный курс математической логики

Автор: Успенский В.А.

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

Скачать в pdf (8,87 МБ): Успенский В.А. / Вводный курс математической логики




Отзывы закрыты




Ещё записи в рубрике: