Подробное описание документа

Косовский Н. К.
   Элементы математической логики и её приложения к теории субрекурсивных алгоритмов : учеб. пособие / Косовский Н. К. - Л. : Изд-во Ленинградского ун-та, 1981. - 191 с. - Библиогр.: с. 190.

Аннотация

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

УДК

510.6+510.51

Предметные рубрики

• Математическая логика - Учебники и пособия
• Алгоритмы - Учебники и пособия

Общее кол-во в фондах

2 экз.

1. Абонемент старших курсов, ГУК, ауд. 213
2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
3. Читальный зал ауд.313, ГУК, ауд. 313