دانلود کتاب Deductive and Declarative Programming
دسته: برنامه نويسي
کتاب برنامه نویسی قیاسی و اعلامی نسخه زبان اصلی
دانلود کتاب برنامه نویسی قیاسی و اعلامی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Deductive and Declarative Programming
نام کتاب : Deductive and Declarative Programming
عنوان ترجمه شده به فارسی : برنامه نویسی قیاسی و اعلامی
سری : Cambridge Tracts in Theoretical Computer Science 28
نویسندگان : Peter Padawitz
ناشر : Cambridge University Press
سال نشر : 1992
تعداد صفحات : 285
ISBN (شابک) : 0511569874 , 0521032512
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 6 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
در این کتاب، نویسنده روشهای استنباطمحور را برای استدلال در مورد برنامههای عملکردی و منطقی توسعه میدهد. این روش ها مبتنی بر نظریه های استقرایی مشخصات نوع داده مناسب هستند و از هر دو اثبات قضیه کلاسیک و بازنویسی اصطلاح استفاده می کنند. نمونههای مفصل توسعه روشها را همراهی میکنند و استفاده از آنها توسط یک سیستم نمونهسازی که در انتهای کتاب مستند شده است، پشتیبانی میشود.
توضیحاتی در مورد کتاب به زبان اصلی :
In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive theories of suitable data type specifications and exploit both classical theorem-proving and term rewriting. Detailed examples accompany the development of the methods, and their use is supported by a prototyping system that is documented at the end of the book.
پست ها تصادفی