دانلود کتاب Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: Учеб. пособие.

Name: Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: Учеб. пособие.
Availability: InStock
Author: Косовский Н. К.

by Косовский Н. К.

عنوان فارسی: عناصر منطق ریاضی و کاربردهای آن به نظریه الگوریتم subrekursivnyh : مجموعه مقالات. کمک هزینه .
ناشر: Изд-во Ленингр. ун-та
سال: 1981
زبان: روسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 193-193
نوع فایل: DJVU دانلود نرم افزار مطالعه
حجم: 3.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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

کتاب های مرتبط

این کتاب رو مطالعه کردید؟ نظر شما چیست؟

برای ارسال نظر، لطفا وارد شوید.

نظر دهید

Adding comments has been disabled.

نظرات (0)

هنوز نظری داده نشده است. شما اولین باشید!