Вводный курс математической логики [Электронный ресурс] Учебное пособие
Material type: TextPublication details: Москва Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ) 2007Edition: 2Description: 128 сISBN: 9785922102780Subject(s): Физико-математические науки -- Основы математикиGenre/Form: Учебное пособие Other classification: 22.12 | 01.04.01 | 01.03.01 Online resources: ЭБС Знаниум | Abstract: В учебном пособии содержится материал основного курса Введение в математическую логику читаемого на механико-математическом факуль- тете МГУ. Излагаются элементы теории множеств основные понятия относя- щиеся к семантике формализованных логико-математических языков первого порядка исчисление предикатов и теорема о его полноте дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов педагогических институтов а также других вузов с углубленным изучением информатики и кибернетики.В учебном пособии содержится материал основного курса Введение в математическую логику читаемого на механико-математическом факуль- тете МГУ. Излагаются элементы теории множеств основные понятия относя- щиеся к семантике формализованных логико-математических языков первого порядка исчисление предикатов и теорема о его полноте дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов педагогических институтов а также других вузов с углубленным изучением информатики и кибернетики.
ВО - Бакалавриат
There are no comments on this title.