Основания математики. Математическая логика. Теория чисел

Список источников >Учебная литература >Студентам и аспирантам >Естественные науки. Математика >Математика >Основания математики. Математическая логика. Теория чисел >

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

Автор: Успенский В. А., Верещагин Н. К., Плиско В. Е.
Год: 2002
Издание: ФИЗМАТЛИТ
Страниц: 128
ISBN: 5922102788, 9785922102780
В учебном пособии содержится материал основного курса `Введение в математическую логику`, читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
Добавлено: 2017-05-26 14:16:47

Видео о книгах:

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2016, Список Литературы