دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 مگابایت
قیمت کتاب (تومان) : 32,000
در صورت تبدیل فایل کتاب 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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Cocina Irlandesa
دانلود کتاب The telecoms trade war: the United States, the European Union, and the World Trade Organisation
دانلود کتاب Radiation Dose from Adult and Pediatric Multidetector Computed Tomography
