ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

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

دانلود کتاب منطق برای علوم کامپیوتر

Logic for Computer Science

مشخصات کتاب

Logic for Computer Science

دسته بندی: منطق
ویرایش: 2003, updated by authors 
نویسندگان:   
سری: International Computer Science Series 
ISBN (شابک) : 0201416433, 9780201416435 
ناشر: Addison-Wesley 
سال نشر: 1990 
تعداد صفحات: 311 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

قیمت کتاب (تومان) : 47,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب 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.





نظرات کاربران