دانلود کتاب Logic for Computer Science
دسته: منطق
کتاب منطق برای علوم کامپیوتر نسخه زبان اصلی
دانلود کتاب منطق برای علوم کامپیوتر بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Logic for Computer Science
نام کتاب : Logic for Computer Science
ویرایش : 2003, updated by authors
عنوان ترجمه شده به فارسی : منطق برای علوم کامپیوتر
سری : International Computer Science Series
نویسندگان : Steve Reeves, Michael Clarke
ناشر : Addison-Wesley
سال نشر : 1990
تعداد صفحات : 311
ISBN (شابک) : 0201416433 , 9780201416435
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
درک منطق برای علم کامپیوتر ضروری است. این کتاب یک گزارش بسیار قابل دسترس از مبنای منطقی مورد نیاز برای استدلال در مورد برنامه های کامپیوتری و استفاده از منطق در زمینه هایی مانند هوش مصنوعی ارائه می دهد. متن شامل مثال‌ها، الگوریتم‌ها و برنامه‌های توسعه‌یافته است که در استاندارد ML و Prolog نوشته شده‌اند. هیچ دانش قبلی از هر دو زبان مورد نیاز نیست. این کتاب حاوی شرح واضحی از منطق کلاسیک درجه اول، یکی از ابزارهای اساسی برای تأیید برنامه، و همچنین بررسی مقدماتی منطق‌های معین و زمانی و معناشناسی جهان ممکن است. مقدمه ای بر منطق شهودی به عنوان مبنایی برای سبک مهمی از مشخصات برنامه نیز در این کتاب ارائه شده است.
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی