دانلود کتاب Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
کتاب استخراج و محاسبه: جدی گرفتن مکاتبات کاری-هاوارد نسخه زبان اصلی
دانلود کتاب استخراج و محاسبه: جدی گرفتن مکاتبات کاری-هاوارد بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
نام کتاب : Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
عنوان ترجمه شده به فارسی : استخراج و محاسبه: جدی گرفتن مکاتبات کاری-هاوارد
سری : Cambridge Tracts in Theoretical Computer Science
نویسندگان : Harold Simmons
ناشر : Cambridge University Press
سال نشر : 2000
تعداد صفحات : 412
ISBN (شابک) : 0521771730 , 9780521771733
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 12 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
دو مفهوم اثبات و محاسبات ارتباط نزدیکی با هم دارند. اثبات ها می توانند شامل محاسبات باشند و الگوریتم زیربنای یک محاسبه باید درست باشد. این جلد این رابطه کلیدی را بررسی می کند و نظریه نوع ساده را معرفی می کند. با شروع از حساب گزاره ای آشنا، نویسنده ایده اصلی یک حساب لامبدا کاربردی را توسعه می دهد. این با گزارشی از 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.