دانلود کتاب Edinburgh LCF: A Mechanised Logic of Computation
دسته: کامپیوتر
کتاب ادینبورگ LCF: منطق مکانیزه محاسبات نسخه زبان اصلی
دانلود کتاب ادینبورگ LCF: منطق مکانیزه محاسبات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Edinburgh LCF: A Mechanised Logic of Computation
نام کتاب : Edinburgh LCF: A Mechanised Logic of Computation
ویرایش : 1
عنوان ترجمه شده به فارسی : ادینبورگ LCF: منطق مکانیزه محاسبات
سری : Lecture Notes in Computer Science 78
نویسندگان : Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth (auth.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1979
تعداد صفحات : 167
ISBN (شابک) : 9783540097242 , 3540097244
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 7 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این متن برخاسته از یک دوره تحصیلات تکمیلی که به دانشجویان ریاضی و مهندسی تدریس می شود، زمینه ای سیستماتیک در نظریه سیستم های همیلتونی و همچنین معرفی نظریه انتگرال ها و کاهش ارائه می دهد. تعدادی از موضوعات دیگر نیز پوشش داده شده است.
فهرست مطالب :
Introduction....Pages 1-12
ML....Pages 13-61
PPLAMBDA....Pages 62-86
توضیحاتی در مورد کتاب به زبان اصلی :
Arising from a graduate course taught to math and engineering students, this text provides a systematic grounding in the theory of Hamiltonian systems, as well as introducing the theory of integrals and reduction. A number of other topics are covered too.
پست ها تصادفی