دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computation as logic
دانلود کتاب محاسبه به عنوان منطق
مشخصات کتاب
Computation as logic
ویرایش:
نویسندگان: Rene Lalement. John Plaice
سری: Prentice Hall International Series in Computer Science
ISBN (شابک) : 0137700091, 9780137700097
ناشر: Prentice Hall
سال نشر: 1993
تعداد صفحات: 399
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 34,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Computation as logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبه به عنوان منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبه به عنوان منطق
منطق نقش مهمی در دو حوزه علوم رایانه ایفا می کند - کاهش و وضوح به ترتیب مرتبط با برنامه نویسی تابعی و برنامه نویسی منطقی. این کتاب نشان می دهد که منطق نه تنها زبانی است که در آن می توان حقایق یا دانش را با دقت بیان کرد (مانند هوش مصنوعی) بلکه برنامه نویسی خود یک فعالیت منطقی است.
توضیحاتی درمورد کتاب به خارجی
Logic plays an important role in the two areas of computer science - reduction and resolution respectively associated with functional programming and logic programming. This book illustrates that logic is not only a language in which one can accurately state facts or knowledge (as in artificial intelligence) but also that programming itself is a logical activity
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Theoretical physics
دانلود کتاب Кытайча-кыргызча сөздүк
دانلود کتاب Between Republic and Empire: Interpretations of Augustus and His Principate
دانلود کتاب Artificial Intelligence: 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures
