Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: Учеб. пособие.
Косовский Н. К.
Учебное пособие посвящено изложению элементов математической логики на основе секвенциального аппарата выводимости,, успешно используемого в современных метаматематических исследованиях, и на основе предлагаемого автором точного понятия алгоритма, ориентированного на приложения в теории программирования. Формулируются аксиомы элементарной теории чисел, строятся основы теории множеств в аксиоматической системе Цермело — Френкеля. В последнем разделе книги — приложения к теории субрекурсивных алгоритмов в специализированных направлениях. Настоящее издание рассчитано на студентов, инженеров, аспирантов и научных сотрудников, интересующихся математической логикой, современной теорией алгоритмов, а также математическими основами теории программирования.
Категории:
Год:
1981
Издательство:
Изд-во Ленингр. ун-та
Язык:
russian
Страницы:
193
Файл:
PDF, 16.54 MB
IPFS:
,
russian, 1981