Зарегистрироваться

Успенский Владимир Андреевич

Категории Математическая логика | Под редакцией сообщества: Математика

Успенский Владимир Андреевич

математик, лингвист и публицист, доктор физико-математических наук, профессор

математик, лингвист и публицист, доктор физико-математических наук, профессор

Настоящее имя:
Год рождения:
1930
Годы жизни:
1930 — н/а
Место рождения:
г. Москва, СССР
Место смерти:
Разделы каталога:

Эта статья еще не написана, но вы можете сделать это.

Авторские произведения: Успенский Владимир Андреевич

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