О книге

Учебное пособие посвящено изложению элементов математической логики на основе секвенциального аппарата выводимости, успешно используемого в современных метаматематических исследованиях, и на основе предлагаемого автором точного понятия алгоритма, ориентированного на приложения в теории программирования. Формулируются аксиомы элементарной теории чисел, строятся основы теории множеств в аксиоматической системе Цермело - Френкеля. В последнем разделе книги - приложения к теории субрекурсивных алгоритмов в специализированных направлениях.

Настоящее издание рассчитано на студентов, инженеров, аспирантов и научных сотрудников, интересующихся математической логикой, современной теорией алгоритмов, а также математическими основами теории программирования. Это и многое другое вы найдете в книге Элементы математической логики и ее приложения к теории субрекурсивных агоритмов. Учебное пособие (Н. К. Косовский)

Полное название книги	Н. К. Косовский Элементы математической логики и ее приложения к теории субрекурсивных агоритмов. Учебное пособие
Тип	Книга
Автор	Н. К. Косовский
Категории	Антикварные книги, Букинистика, Художественная литература, Книги
ISBN
Возрастное ограничение	18
Издательство	Издательство Ленинградского университета
Год	1981
Название транслитом	elementy-matematicheskoy-logiki-i-ee-prilozheniya-k-teorii-subrekursivnyh-agoritmov-uchebnoe-posobie-n-k-kosovskiy
Просмотров	3
Рейтинг izbe.ru	0,0