Вводный курс математической логики. В. А. Успенский, Н. К. Верещагин, В. Е. Плиско
315 руб
В учебном пособии содержится материал основного курса `Введение в математическую логику`, читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
Вес
135
Ширина упаковки
145
Высота упаковки
10
Глубина упаковки
220
Тип издания
Отдельное издание
Тип обложки
Мягкая обложка
Тираж
3000
Публикации
Вводный курс математической логики
Автор
Владимир Успенский,Николай Верещагин,Валерий Плиско
» Каталог
» Книги » Учебная литература » Студентам и аспирантам » Естественные науки. Математика » Математика » Основания математики. Математическая логика. Теория чисел