Поиск :
Личный кабинет :
Электронный каталог: Успенский, В. А. - Вводный курс математической логики
Успенский, В. А. - Вводный курс математической логики
Нет экз.
Электронный ресурс
Автор: Успенский, В. А.
Вводный курс математической логики : учебное пособие
Издательство: ФИЗМАТЛИТ, 2007 г.
ISBN 978-5-9221-0278-0
Автор: Успенский, В. А.
Вводный курс математической логики : учебное пособие
Издательство: ФИЗМАТЛИТ, 2007 г.
ISBN 978-5-9221-0278-0
На полку
Электронный ресурс
Успенский, В. А.
Вводный курс математической логики : учебное пособие. – 2-е изд. – Москва : ФИЗМАТЛИТ, 2007. – 126 с. – URL: https://biblioclub.ru/index.php?page=book&id=75959. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – На рус. яз. – ISBN 978-5-9221-0278-0.
В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
510.7
Успенский, В. А.
Вводный курс математической логики : учебное пособие. – 2-е изд. – Москва : ФИЗМАТЛИТ, 2007. – 126 с. – URL: https://biblioclub.ru/index.php?page=book&id=75959. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – На рус. яз. – ISBN 978-5-9221-0278-0.
В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
510.7