توضیحات
This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing. Beginning with an introduction to the mathematisation of mechanical process using URM programs, this textbook explains basic theory such as primitive recursive functions and predicates and sequence-coding, partial recursive functions and predicates, and loop programs.
Advanced chapters cover the Ackerman function, Tarskis theorem on the non-representability of truth, Goedels incompleteness and Rossers incompleteness theorems, two short proofs of the incompleteness theorem that are based on Lob’s deliverability conditions, Churchs thesis, the second recursion theorem and applications, a provably recursive universal function for the primitive recursive functions, Oracle computations and various classes of computable functionals, the Arithmetical hierarchy, Turing reducibility and Turing degrees and the priority method, a thorough exposition of various versions of the first recursive theorem, Blums complexity, Hierarchies of primitive recursive functions, and a machine-independent characterisation of Cobham’s feasibly computable functions.
————————————————————–
ترجمه ماشینی :
این بررسی از نظریه محاسبهپذیری، تکنیکها و ابزارهایی را ارائه میدهد که دانشمندان رایانه (و همچنین ریاضیدانان و فیلسوفانی که پایههای ریاضی محاسبات را مطالعه میکنند) برای تحلیل ریاضی فرآیندهای محاسباتی و بررسی محدودیتهای نظری محاسبات به آنها نیاز دارند. این کتاب درسی با مقدمهای بر ریاضیسازی فرآیندهای مکانیکی با استفاده از برنامههای URM، نظریههای پایه مانند توابع و محمولات بازگشتی اولیه و کدگذاری ترتیبی، توابع و محمولات بازگشتی جزئی و برنامههای حلقه را توضیح میدهد.
< p>فصول پیشرفته تابع آکرمن، قضیه تارسکیس در مورد غیرقابل بازنمایی صدق، قضایای ناقص بودن گودلز و ناتمام بودن راسرز، دو برهان کوتاه قضیه ناتمامی که بر اساس شرایط تحویل پذیری لوب است، تز چرچز، بازگشت دوم را پوشش میدهد. قضیه و کاربردها، یک تابع جهانی بازگشتی قابل اثبات برای توابع بازگشتی اولیه، محاسبات اوراکل و کلاس های مختلف توابع قابل محاسبه، سلسله مراتب محاسباتی، کاهش پذیری تورینگ و درجات تورینگ و روش اولویت، توضیح کاملی از نسخه های مختلف اولین قضیه بازگشتی، پیچیدگی Blums، سلسله مراتب توابع بازگشتی اولیه، و توصیف مستقل از ماشین از توابع محاسباتی عملی Cobham.
tag : دانلود کتاب محاسبه پذیری , Download محاسبه پذیری , دانلود محاسبه پذیری , Download Computability Book , محاسبه پذیری دانلود , buy محاسبه پذیری , خرید کتاب محاسبه پذیری , دانلود کتاب Computability , کتاب Computability , دانلود Computability , خرید Computability , خرید کتاب Computability ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.