• usp_easy_retunsاسترجاع مجاني وسهل
  • usp_best_dealsأفضل العروض
placeholder
Springer Reflexive Structures: An Introduction to Computability Theory
magnifyZoom

Springer Reflexive Structures: An Introduction to Computability Theory

معذرة! هذا المنتج غير متوفر.
متوفر قريبا
نظرة عامة على المنتج

المواصفات

الناشرSpringer; Softcover Reprint of the Original 1st 1988 ed. edition
رقم الكتاب المعياري الدولي 101461283868
الكاتبLuis E. Sanchis
اللغةEnglish
عدد الصفحات248 pages
رقم الكتاب المعياري الدولي 139781461283867
وصف الكتابReflexive Structures: An Introduction to Computability Theory is concerned with the foundations of the theory of recursive functions. The approach taken presents the fundamental structures in a fairly general setting, but avoiding the introduction of abstract axiomatic domains. Natural numbers and numerical functions are considered exclusively, which results in a concrete theory conceptually organized around Church's thesis. The book develops the important structures in recursive function theory: closure properties, reflexivity, enumeration, and hyperenumeration. Of particular interest is the treatment of recursion, which is considered from two different points of view: via the minimal fixed point theory of continuous transformations, and via the well known stack algorithm. Reflexive Structures is intended as an introduction to the general theory of computability. It can be used as a text or reference in senior undergraduate and first year graduate level classes in computer science or mathematics.
تنسيق الكتابPaperback
تاريخ النشر26 September 2011
Springer Reflexive Structures: An Introduction to Computability Theory
Springer Reflexive Structures: An Introduction to Computability Theory
معذرة! هذا المنتج غير متوفر.
متوفر قريبا

نحن دائماً جاهزون لمساعدتك

تواصل معنا من خلال أي من قنوات الدعم التالية:

تسوق أينما كنت