Элементы математической логики и ее приложения к теории субрекурсивных агоритмов. Учебное пособие

Элементы математической логики и ее приложения к теории субрекурсивных агоритмов. Учебное пособие

История цены История цены
 
130 Р
30869916
В наличии
03/05/2016
 
Учебное пособие посвящено изложению элементов математической логики на основе секвенциального аппарата выводимости, успешно используемого в современных метаматематических исследованиях, и на основе предлагаемого автором точного понятия алгоритма, ориентированного на приложения в теории программирования. Формулируются аксиомы элементарной теории чисел, строятся основы теории множеств в аксиоматической системе Цермело - Френкеля. В последнем разделе книги - приложения к теории субрекурсивных алгоритмов в специализированных направлениях. Настоящее издание рассчитано на студентов, инженеров, аспирантов и научных сотрудников, интересующихся математической логикой, современной теорией алгоритмов, а также математическими основами теории программирования.
Frame $60% в наличии
132 Р