دانلود کتاب Logic for Computer Science

Name: Logic for Computer Science
Availability: InStock
Author: Steve Reeves
ISBN: 0201416433, 9780201416435

by Steve Reeves

عنوان فارسی: منطق برای علم کامپیوتر
ناشر: Addison-Wesley
سال: 1990
ویرایش: 2003, updated by aut
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 311-311
شابک: 0201416433, 9780201416435
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 3.00 مگابایت

گزارش تخلف

دانلود کتاب

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

جزییات کتاب

An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior knowledge of either language is required. The book contains a clear account of classical first-order logic, one of the basic tools for program verification, as well as an introductory survey of modal and temporal logics and possible world semantics. An introduction to intuitionistic logic as a basis for an important style of program specification is also featured in the book.

گزارش اشکال ⚠