دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computability and Logic (Instructor's Solution Manual) (Solutions)
دانلود کتاب محاسبات و منطق (راهنمای راه حل مدرس) (راه حل ها)
مشخصات کتاب
Computability and Logic (Instructor's Solution Manual) (Solutions)
ویرایش: [5 ed.] نویسندگان: George S. Boolos, John P. Burgess, Richard C. Jeffrey سری: ISBN (شابک) : 0521701465, 9780521701464 ناشر: Cambridge University Press سال نشر: 2007 تعداد صفحات: 110 زبان: English فرمت فایل : ZIP (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1011 Kb
قیمت کتاب (تومان) : 39,000
در صورت تبدیل فایل کتاب Computability and Logic (Instructor's Solution Manual) (Solutions) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات و منطق (راهنمای راه حل مدرس) (راه حل ها) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات و منطق (راهنمای راه حل مدرس) (راه حل ها)
محاسبه‌پذیری و منطق به دلیل دسترسی به دانش‌آموزان بدون پیش‌زمینه ریاضی و به دلیل اینکه نه صرفاً مباحث اصلی یک درس منطق متوسط، مانند قضایای ناتمام بودن گودل را پوشش می‌دهد، بلکه تعداد زیادی از مباحث اختیاری را نیز در بر می‌گیرد، به یک کلاسیک تبدیل شده است. از نظریه محاسباتی تورینگ تا قضیه رمزی. شامل مجموعه‌ای از تمرین‌ها، تنظیم‌شده برای این نسخه، در پایان هر فصل، روشی جدید و ساده‌تر از بازنمایی‌پذیری توابع بازگشتی ارائه می‌کند، که یک مانع سنتی برای دانش‌آموزان در راه رسیدن به قضایای ناتمامی گودل است.
توضیحاتی درمورد کتاب به خارجی
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel’s incompleteness theorems, but also a large number of optional topics, from Turing’s theory of computability to Ramsey’s theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.
