Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Custom cover image
Custom cover image
Normal view MARC view

Вводный курс математической логики [Электронный ресурс] Учебное пособие

By: Успенский, Владимир АндреевичContributor(s): Верещагин, Николай Константинович | Плиско, Валерий ЕгоровичMaterial type: TextTextPublication details: Москва Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ) 2007Edition: 2Description: 128 сISBN: 9785922102780Subject(s): Физико-математические науки -- Основы математикиGenre/Form: Учебное пособие Other classification: 22.12 | 01.04.01 | 01.03.01 Online resources: ЭБС Знаниум | ЭБС Знаниум Abstract: В учебном пособии содержится материал основного курса Введение в математическую логику читаемого на механико-математическом факуль- тете МГУ. Излагаются элементы теории множеств основные понятия относя- щиеся к семантике формализованных логико-математических языков первого порядка исчисление предикатов и теорема о его полноте дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов педагогических институтов а также других вузов с углубленным изучением информатики и кибернетики.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

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

ВО - Бакалавриат

There are no comments on this title.

to post a comment.