دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth (auth.) سری: Lecture Notes in Computer Science 78 ISBN (شابک) : 9783540097242, 3540097244 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1979 تعداد صفحات: 167 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
در صورت تبدیل فایل کتاب Edinburgh LCF: A Mechanised Logic of Computation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ادینبورگ LCF: یک منطق مکانیزه برای محاسبه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این متن برخاسته از یک دوره تحصیلات تکمیلی که به دانشجویان ریاضی و مهندسی تدریس می شود، زمینه ای سیستماتیک در نظریه سیستم های همیلتونی و همچنین معرفی نظریه انتگرال ها و کاهش ارائه می دهد. تعدادی از موضوعات دیگر نیز پوشش داده شده است.
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.
Introduction....Pages 1-12
ML....Pages 13-61
PPLAMBDA....Pages 62-86