АвторыУспенский В.А., Верещагин Н.К., Плиско В.Е.
Вводный курс математической логики
ИздательствоФизматлит
Тип изданияучебное пособие
Год издания2007
Скопировать биб. запись
Для каталогаУспенский, В. А. Вводный курс математической логики / Успенский В. А. , Верещагин Н. К. , Плиско В. Е. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2007. - 128 с. - ISBN 978-5-9221-0278-0. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/ISBN9785922102780.html (дата обращения: 28.12.2024). - Режим доступа : по подписке.
АннотацияВ учебном пособии содержится материал основного курса "Введение в математическую логику", читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики. Библиогр. 15 назв.