Computation As Logic (prentice Hall International Series In Computer Science)

Lalement, René

قیمت نهایی

۴۴٬۰۰۰ تومان۴۹٬۰۰۰ تومان۱۰٪ تخفیف

تخفیف زمان‌دار−۵٬۰۰۰ تومان

۵٬۰۰۰ تومان صرفه‌جویی نسبت به قیمت اصلی

نسخه اصلی و اورجینال

بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.

تحویل فوری

پرداخت امن

ضمانت فایل

پشتیبانی

مشخصات کتاب

نویسنده: Lalement, René
ناشر: Prentice Hall;Masson
سال انتشار: ۱۹۹۳
فرمت: DJVU
زبان: انگلیسی
تعداد صفحات: ۷ صفحه
حجم فایل: ۳٫۰ مگابایت

دربارهٔ کتاب

Logic plays an important role in the two areas of computer science - reduction and resolution respectively associated with functional programming and logic programming. This book illustrates that logic is not only a language in which one can accurately state facts or knowledge (as in artificial intelligence) but also that programming itself is a logical activity. Content: The syntactic landscape reduction first-order logic models equational logic resolution the computable landscape.

کتاب‌های مشابه

Computation As Logic (prentice Hall International Series In Computer Science)

۴۹٬۰۰۰ تومان

Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)

۴۹٬۰۰۰ تومان

Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)

۴۹٬۰۰۰ تومان

Mathematical Logic and Programming Languages (Prentice-hall International Series in Computer Science)

۴۹٬۰۰۰ تومان

Essays in Computing Science (Prentice-Hall International Series in Computer Science)

۴۹٬۰۰۰ تومان