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

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

Эта версия статьи от 22 Октябрь 2010 14:02, редактировал Золин Евгений Евгеньевич
Список всех версий Перейти к списку версий
Перейти к последней версии

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

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

Категории:

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