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