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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Solving Higher-Order Equations: From Logic to Programming

دانلود کتاب حل معادلات مرتبه بالاتر: از منطق تا برنامه نویسی

مشخصات کتاب

Solving Higher-Order Equations: From Logic to Programming

دسته بندی: منطق
ویرایش:  
نویسندگان: Christian Prehofer  
سری: Progress in Theoretical Computer Science 
ISBN (شابک) : 0817640320, 9783764340322 
ناشر: Birkhauser 
سال نشر: 1998 
تعداد صفحات: 199 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت

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

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

در صورت تبدیل فایل کتاب Solving Higher-Order Equations: From Logic to Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

این تک نگاری تکنیک هایی را برای استدلال معادله در منطق مرتبه بالاتر توسعه می دهد. به دلیل رسا بودن، منطق مرتبه بالاتر برای تعیین مشخصات و تأیید سخت افزار، نرم افزار و ریاضیات استفاده می شود. در این کاربردها، منطق مرتبه بالاتر، سطح لازم از انتزاع را برای فرمول بندی های مختصر و طبیعی فراهم می کند. دارایی های اصلی منطق مرتبه بالاتر، تعیین کمیت بر توابع یا محمولات و مکانیسم انتزاع آن است. اینها به شخص اجازه می دهد تا کمیت را در فرمول ها و سایر ساختارهای اتصال متغیر نشان دهد. در این کتاب بر منطق معادلات به عنوان یک مفهوم اساسی و طبیعی در علوم کامپیوتر و ریاضیات تمرکز می کنیم. ما محاسباتی را برای مدول استدلال معادله معادلات مرتبه بالاتر ارائه می کنیم که به عنوان قوانین بازنویسی ارائه شده اند. این امر با توسعه سیستماتیک از منطق معادلات عمومی به سمت محاسبات مؤثر برای برنامه‌ریزی اعلامی در منطق مرتبه بالاتر و حساب A دنبال می‌شود. هدف این کار ادغام و تعمیم مدل های برنامه نویسی اعلامی مانند برنامه نویسی تابعی و منطقی است. در این دو مدل محاسبات اعلامی برجسته، می‌توانیم یک برنامه را به عنوان یک نظریه منطقی و یک محاسبه را به عنوان یک استنتاج مشاهده کنیم.

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

This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica tions, higher-order logic provides the necessary level of abstraction for con cise and natural formulations. The main assets of higher-order logic are quan tification over functions or predicates and its abstraction mechanism. These allow one to represent quantification in formulas and other variable-binding constructs. In this book, we focus on equational logic as a fundamental and natural concept in computer science and mathematics. We present calculi for equa tional reasoning modulo higher-order equations presented as rewrite rules. This is followed by a systematic development from general equational rea soning towards effective calculi for declarative programming in higher-order logic and A-calculus. This aims at integrating and generalizing declarative programming models such as functional and logic programming. In these two prominent declarative computation models we can view a program as a logical theory and a computation as a deduction.