ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Logic of Computation

دانلود کتاب منطق محاسبات

Logic of Computation

مشخصات کتاب

Logic of Computation

ویرایش: 1 
نویسندگان: ,   
سری: NATO ASI Series 157 
ISBN (شابک) : 9783642638329, 9783642590481 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1997 
تعداد صفحات: 403 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 13 مگابایت 

قیمت کتاب (تومان) : 39,000



کلمات کلیدی مربوط به کتاب منطق محاسبات: منطق و معانی برنامه ها، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مترجمان



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 14


در صورت تبدیل فایل کتاب Logic of Computation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق محاسبات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب منطق محاسبات



مدرسه تابستانی مارکتوبردورف 1995 "منطق محاسبات" شانزدهمین دوره از مجموعه موسسات مطالعات پیشرفته تحت حمایت بخش امور علمی ناتو بود که در مارکتوبردورف برگزار شد. هدف علمی آن بررسی پیشرفت های اخیر در مورد تأثیر روش های منطقی در توسعه نرم افزار بود. دوره ها با بسیاری از جنبه های مختلف این تعامل، که در آن پیشرفت های عمده ای حاصل شده است، سروکار داشت. موارد زیر از اهمیت ویژه ای برخوردار بودند. • پارادایم proofs-as-programs که استخراج برنامه های تایید شده را مستقیماً از اثبات ها ممکن می سازد. در اینجا یک منطق مرتبه بالاتر یا تنظیم نظری نوع زبان زیربنایی به یک استاندارد تبدیل شده است. • پسوندهای برنامه نویسی منطقی، به عنوان مثال. با اجازه دادن به فرمول های عمومی تر و/یا زبان های مرتبه بالاتر. • روش‌های تئوری اثبات، که ابزارهایی را برای رسیدگی به سؤالات امکان‌سنجی محاسبات و همچنین توسعه یک درک ریاضی کلی از سؤالات پیچیدگی ارائه می‌دهند. • بازنویسی سیستم ها و یکپارچه سازی، دوباره در زمینه مرتبه بالاتر. نظریه پایه گرابنر که اکنون به خوبی تثبیت شده است، ارتباط نزدیکی دارد که اخیراً کاربردهای جالبی پیدا کرده است. • روش ها و تکنیک های نظری و به طور کلی جبری دسته بندی برای تحلیل معنایی زبان های برنامه نویسی. همه این مسائل توسط تیمی از محققان برجسته پوشش داده شد. دوره های آنها تحت عناوین زیر گروه بندی شدند.


توضیحاتی درمورد کتاب به خارجی

The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf. Its scientific goal was to survey recent progress on the impact of logical methods in software development. The courses dealt with many different aspects of this interplay, where major progress has been made. Of particular importance were the following. • The proofs-as-programs paradigm, which makes it possible to extract verified programs directly from proofs. Here a higher order logic or type theoretic setup of the underlying language has developed into a standard. • Extensions of logic programming, e.g. by allowing more general formulas and/or higher order languages. • Proof theoretic methods, which provide tools to deal with questions of feasibility of computations and also to develop a general mathematical understanding of complexity questions. • Rewrite systems and unification, again in a higher order context. Closely related is the now well-established Grabner basis theory, which recently has found interesting applications. • Category theoretic and more generally algebraic methods and techniques to analyze the semantics of programming languages. All these issues were covered by a team of leading researchers. Their courses were grouped under the following headings.



فهرست مطالب

Front Matter....Pages I-VII
Lectures on Semantics: The Initial Algebra and Final Coalgebra Perspectives....Pages 1-33
Introduction to Groebner Bases....Pages 35-66
Bounded Arithmetic and Propositional Proof Complexity....Pages 67-121
The Structure of Nuprl’s Type Theory....Pages 123-155
Axiomatisations, Proofs, and Formal Specifications of Algorithms: Commented Case Studies in the Coq Proof Assistant....Pages 157-199
Some Proof Theory of First Order Logic Programming....Pages 201-228
Timed Rewriting Logic for the Specification of Time-Sensitive Systems....Pages 229-264
Logic Programming and Meta-Logic....Pages 265-308
Proofs, Lambda Terms and Control Operators....Pages 309-347
Basic Proof Theory with Applications to Computation....Pages 349-394
Back Matter....Pages 395-401




نظرات کاربران