دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computing in systems described by equations
دانلود کتاب محاسبات در سیستم های توصیف شده توسط معادلات
مشخصات کتاب
Computing in systems described by equations
ویرایش: 1
نویسندگان: Michael J. O'Donnell (eds.)
سری: Lecture Notes in Computer Science 58
ISBN (شابک) : 0387085319, 9783540085317
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 1977
تعداد صفحات: 125
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 26 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب محاسبات در سیستم های توصیف شده توسط معادلات: علوم کامپیوتر، عمومی، ریاضی، عمومی
در صورت تبدیل فایل کتاب Computing in systems described by equations به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات در سیستم های توصیف شده توسط معادلات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات در سیستم های توصیف شده توسط معادلات
\\\"این تک نگاری تلاشی است برای ارائه برخی مبانی ریاضی مفید برای طراحی مفسر برای زبان های برنامه نویسی تابعی مانند LISP.\\\" مقدمه.
توضیحاتی درمورد کتاب به خارجی
\"This monograph is an attempt to provide some useful mathematical foundations for the design of interpreters for functional programming languages such as LISP.\" Preface.
فهرست مطالب
Chapter I: Introduction....Pages 1-3
Chapter II: Syntax, semantics and proof theory for equational logic....Pages 4-17
Chapter III: Subtree replacement systems....Pages 18-27
Chapter IV: The confluence property and the Church-Rosser property....Pages 28-39
Chapter V: Termination....Pages 40-53
Chapter VI: Costs of reduction sequences....Pages 54-65
Chapter VII: Schematic definitions of SRSs....Pages 66-71
Chapter VIII: Recursively defined functions....Pages 72-79
Chapter IX: Applications of SRS theory to LISP and lucid....Pages 80-88
Chapter X: Another approach to confluence, termination, optimality....Pages 89-108
