Название: Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов:
Автор: Косовский Н. К.
Издательство: Л.: Изд-во Ленингр. ун-та
Год: 1981
Формат: PDF
Страниц: 193
Размер: 15.2 MB
Язык: Русский

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