دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: 沈百英著
سری:
ISBN (شابک) : 7562800812
ناشر: 华东化工学院出版社 出版日期
سال نشر: 1990
تعداد صفحات: 444
زبان: Chinese
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 37 مگابایت
در صورت تبدیل فایل کتاب 原始递归算术 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب 原始递归算术 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
第1章 有关概念的非形式描述 1.1 自然数,数变元,数论函数 1.2 函数的定义 1.3 递归算术作为方程演算的语法刻划 1.4 证明的推理根据的书写方式 1.5 公理与规则的分类 1.6 规则的强弱解释 第2章 基础系统 2.1 基础系统的描述 2.2 基础系统中的推理 2.3 基础系统的化归 第3章 第一类纯递归式递归算术F1(系统A0V 3.1 递归算术F1的构成 3.2 关于二元常函数N的性质