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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logic for Applications

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

مشخصات کتاب

Logic for Applications

ویرایش: 2nd 
نویسندگان: Anil Nerode. Richard A. Shore  
سری: Graduate Texts in Computer Science 
ISBN (شابک) : 0387948937, 9780387948935 
ناشر: Springer 
سال نشر: 1997 
تعداد صفحات: 466 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 93 مگابایت

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

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

در صورت تبدیل فایل کتاب Logic for Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق برای برنامه ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب منطق برای برنامه ها

این کتاب درسی اولین مقدمه ای را بر منطق ریاضی ارائه می دهد که از نزدیک با کاربردهای منطق در علوم کامپیوتر هماهنگ است. در آن نویسندگان بر این مفهوم تأکید می‌کنند که کسر نوعی محاسبه است. در حالی که تمام موضوعات سنتی منطق به طور کامل پوشش داده شده است: نحو، معناشناسی، کامل بودن، و فشردگی. بسیاری از کتاب با موضوعات کمتر سنتی مانند اثبات قضیه تفکیک، برنامه نویسی منطقی و منطق های غیر کلاسیک - معین و شهودی - که در علوم کامپیوتر اهمیت فزاینده ای پیدا می کنند، می پردازد. هیچ مواجهه قبلی با منطق در نظر گرفته نشده است و بنابراین این برای دانش آموزان سطح بالاتر یا دانشجویان فارغ التحصیل در علوم کامپیوتر یا ریاضیات مناسب خواهد بود.
از بررسی های نسخه اول: \"... باید مطمئناً رتبه یکی از پربارترین کتاب های درسی معرفی شده در علوم کامپیوتر را به خود اختصاص می دهیم... ما آن را به عنوان کتاب درسی قویاً پیشنهاد می کنیم...\"
SIGACT News

توضیحاتی درمورد کتاب به خارجی

This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditional topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic - which are becoming increasingly important in computer science. No previous exposure to logic is assumed and so this will be suitable for upper level undergraduates or beginning graduate students in computer science or mathematics.
From reviews of the first edition: "... must surely rank as one of the most fruitful textbooks introduced into computer science ... We strongly suggest it as a textbook ..."
SIGACT News