دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
دانلود کتاب استخراج و محاسبه: جدی گرفتن مکاتبات کاری-هاوارد
مشخصات کتاب
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
ویرایش:
نویسندگان: Harold Simmons
سری: Cambridge Tracts in Theoretical Computer Science
ISBN (شابک) : 0521771730, 9780521771733
ناشر: Cambridge University Press
سال نشر: 2000
تعداد صفحات: 412
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 42,000
در صورت تبدیل فایل کتاب Derivation and Computation: Taking the Curry-Howard Correspondence Seriously به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استخراج و محاسبه: جدی گرفتن مکاتبات کاری-هاوارد نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استخراج و محاسبه: جدی گرفتن مکاتبات کاری-هاوارد
دو مفهوم اثبات و محاسبات ارتباط نزدیکی با هم دارند. اثبات ها می توانند شامل محاسبات باشند و الگوریتم زیربنای یک محاسبه باید درست باشد. این جلد این رابطه کلیدی را بررسی می کند و نظریه نوع ساده را معرفی می کند. با شروع از حساب گزاره ای آشنا، نویسنده ایده اصلی یک حساب لامبدا کاربردی را توسعه می دهد. این با گزارشی از T گودل، سیستمی که سلسله مراتب تابع نظری اعداد را کدگذاری می کند، نشان داده شده است. هر یک از 52 بخش کتاب با مجموعه‌ای از تمرین‌ها به پایان می‌رسد که در مجموع حدود 200 مورد است. یک ضمیمه شامل راه حل های کامل این تمرینات است.
توضیحاتی درمورد کتاب به خارجی
The two notions of proofs and calculations are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. This volume explores this key relationship and introduces simple type theory. Starting from the familiar propositional calculus, the author develops the central idea of an applied lambda-calculus. This is illustrated by an account of Gödel's T, a system that codifies number-theoretic function hierarchies. Each of the book's 52 sections ends with a set of exercises, some 200 in total. An appendix contains complete solutions of these exercises.
