دانلود کتاب Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit
کتاب پیش بینی پذیری: مدل های محاسبه و غیرقابل تصمیم گیری نسخه زبان اصلی
دانلود کتاب پیش بینی پذیری: مدل های محاسبه و غیرقابل تصمیم گیری بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit
نام کتاب : Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit
ویرایش : 1. Aufl.
عنوان ترجمه شده به فارسی : پیش بینی پذیری: مدل های محاسبه و غیرقابل تصمیم گیری
سری : essentials
نویسندگان : Karl-Heinz Zimmermann
ناشر : Springer Fachmedien Wiesbaden;Springer Spektrum
سال نشر : 2020
تعداد صفحات : 74
ISBN (شابک) : 9783658317386 , 9783658317393
زبان کتاب : German
فرمت کتاب : pdf
حجم کتاب : 1 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
در این ضروری، مفاهیم اساسی نظریه محاسبه پذیری مورد بحث قرار می گیرد. ابتدا مدل های مختلف محاسبه پذیری معرفی شده و معادل معنایی آنها نشان داده شده است. این نتیجه با تز چرچ-تورینگ مطابقت دارد که طبق آن هر تابع قابل محاسبه شهودی تا حدی بازگشتی است. علاوه بر ابزارهای مرکزی محاسبه‌پذیری، مانند گودل‌سازی توابع محاسباتی و وجود توابع قابل محاسبه جهانی، تمرکز بر مسائل غیرقابل تصمیم‌گیری است، مانند مسئله توقف و کلمه مشکل برای جایگزینی اصطلاح. مجموعه‌های نیمه تصمیم‌پذیر برجسته می‌شوند و قضایای مرکزی رایس و رایس-شاپیرو مشخص می‌شوند.
توضیحاتی در مورد کتاب به زبان اصلی :
In diesem essential werden wesentliche Konzepte der Berechenbarkeitstheorie erörtert. Zunächst werden unterschiedliche Modelle der Berechenbarkeit eingeführt und ihre semantische Gleichwertigkeit gezeigt. Dieses Resultat steht in Einklang mit der Church-Turing-These, nach der jede intuitiv berechenbare Funktion partiell-rekursiv ist. Neben zentralen Instrumenten der Berechenbarkeit, wie etwa der Gödelisierung von berechenbaren Funktionen und der Existenz universeller berechenbarer Funktionen, stehen unentscheidbare Probleme im Fokus, wie etwa das Halteproblem sowie das Wortproblem für die Term-Ersetzung. Semi-entscheidbare Mengen werden beleuchtet und die zentralen Sätze von Rice und Rice-Shapiro werden skizziert.