دانلود کتاب From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

Name: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
Availability: InStock
Author: Dominique Snyers
ISBN: 3540182179, 9783540182177

by Dominique Snyers, André Thayse (auth.)

عنوان فارسی: از منطق طراحی به منطق برنامه نویسی : قضیه اثبات تکنیک ها و P- توابع
ناشر: Springer-Verlag Berlin Heidelberg
سال: 1987
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 125-129
شابک: 3540182179, 9783540182177
نوع فایل: DJVU دانلود نرم افزار مطالعه
حجم: 1.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. A systematic examination of deductive laws and of constructive laws is presented. The set of all possible pairs of laws provides us with a tool for classifying the different approaches for materializing algorithms (such as hardware, microprogramming, algorithmic programming, declarative programming, deductive approach for recursive routines).