برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction

دانلود کتاب اثبات، محاسبات، غیرقابل تصمیم گیری، پیچیدگی، و حساب لامبدا: مقدمه

مشخصات کتاب

Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction

دسته بندی: ریاضیات گسسته
ویرایش:  
نویسندگان: Gallier J.,  Quaintance J.  
سری:  
 
ناشر: University of Pennsylvania 
سال نشر: 2020 
تعداد صفحات: 446 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

قیمت کتاب (تومان) : 39,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 9

در صورت تبدیل فایل کتاب Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب اثبات، محاسبات، غیرقابل تصمیم گیری، پیچیدگی، و حساب لامبدا: مقدمه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب اثبات، محاسبات، غیرقابل تصمیم گیری، پیچیدگی، و حساب لامبدا: مقدمه

هدف اصلی این کتاب ارائه ترکیبی از مطالب مربوط به موارد زیر است: سیستم های اثبات محاسبه پذیری و غیرقابل تصمیم گیری حساب لامبدا برخی از جنبه های نظریه پیچیدگی از لحاظ تاریخی، تئوری محاسبه‌پذیری و تصمیم‌ناپذیری از تلاش‌های هیلبرت برای رسمی کردن کامل ریاضیات و از اولین قضیه ناقص بودن گودل که نشان می‌داد چنین برنامه‌ای محکوم به شکست است، سرچشمه می‌گیرد. مردم دریافتند که برای اجرای برنامه هیلبرت و کار گودل، باید دقیقاً مفهوم تابع قابل محاسبه و مفهوم اثبات مکانیکی قابل بررسی را تعریف کنند. اولین تعریفی که در حدود سال 1934 ارائه شد، تعریف کلاس تابع قابل محاسبه به معنای هربراند-گودل-کلین بود. دومین تعریف ارائه شده توسط چرچ در 1935-1936، مفهوم تابعی بود که در حساب λ قابل تعریف بود. هم ارزی این دو تعریف توسط کلین در سال 1936 نشان داده شد. اندکی پس از آن در سال 1936، تورینگ تعریف سومی را ارائه کرد، یعنی تابع قابل محاسبه تورینگ. تورینگ هم ارزی تعریف خود را با تعریف هربراند-گودل-کلین در سال 1937 ثابت کرد (اثبات او در مقایسه با برهان کلین نسبتاً کلی است).

توضیحاتی درمورد کتاب به خارجی

The main goal of this book is to present a mix of material dealing with: Proof systems. Computability and undecidability. The Lambda Calculus. Some aspects of complexity theory. Historically, the theory of computability and undecidability arose from Hilbert’s eﬀorts to completely formalize mathematics and from Godel’s ﬁrst incompleteness theorem that showed that such a program was doomed to fail. People realized that to carry out both Hilbert’s program and Godel’s work it was necessary to deﬁne precisely what is the notion of a computable function and the notion of a mechanically checkable proof. The ﬁrst deﬁnition given around 1934 was that of the class of computable function in the sense of Herbrand–Godel–Kleene. The second deﬁnition given by Church in 1935-1936 was the notion of a function deﬁnable in the λ-calculus. The equivalence of these two deﬁnitions was shown by Kleene in 1936. Shortly after in 1936, Turing introduced a third deﬁnition, that of a Turing-computable function. Turing proved the equivalence of his deﬁnition with the Herbrand–Godel–Kleene deﬁnition in 1937 (his proofs are rather sketchy compared to Kleene’s proofs).

فهرست مطالب

Preface.
Mathematical Reasoning And Basic Logic.
Mathematical Reasoning And Logic, A Deeper View.
RAM Programs, Turing Machines.
Universal RAM Programs and the Halting Problem.
Elementary Recursive Function Theory.
The Lambda-Calculus.
Recursion Theory; More Advanced Topics.
Listable and Diophantine Sets; Hilbert’s Tenth.
Computational Complexity; P and NP.
Some NP - Complete Problems.
Primality Testing is in NP.
Polynomial-Space Complexity; PS and NPS.
Bibliography.
Symbol Index.
Index.