مشخصات کتاب

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

ویرایش: [2 ed.] 
نویسندگان: Egon Börger (auth.),  Dieter Rödding (eds.)  
سری:  
ISBN (شابک) : 9783528189280, 9783663142133 
ناشر: Vieweg+Teubner Verlag 
سال نشر: 1986 
تعداد صفحات: 470
[488] 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 15 Mb 

در صورت تبدیل فایل کتاب Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب محاسبه ، پیچیدگی ، منطق: مقدمه ای برای الگوریتم ها ، زبان ها و حساب ها با توجه ویژه به پیچیدگی آنها

موضوع این کتاب دو مفهوم است که وه لایب‌نیتس قبلاً آن‌ها را به‌عنوان متعلق به یکدیگر تشخیص داده بود که رشد ریاضی آن‌ها از فرگه تا تورینگ، پایه‌های نظری علم رایانه را پایه‌گذاری کرد: مفهوم زبان رسمی به عنوان حامل بیان دقیق معانی، حقایق، مسائل و الگوریتم یا محاسبه، د. اچ. رویه های عملیاتی رسمی برای حل سوالات و مشکلات به طور دقیق شرح داده شده است. این کتاب مقدمه‌ای یکپارچه برای نظریه مدرن این مفاهیم فراهم می‌کند که ابتدا در منطق ریاضی و نظریه محاسبه‌پذیری و سپس در تئوری خودکار، نظریه زبان رسمی و نظریه پیچیدگی توسعه یافت. علاوه بر در نظر گرفتن یک قانون اساسی از این حوزه ها که قبلاً کلاسیک شده است، انتخاب مطالب با هدف اولویت دادن مداوم به نوآوری ها در سؤالات سنتی، نتایج و روش هایی انجام شد که از نیازها یا یافته های رایانه ایجاد شده است. علم و به ویژه نظریه پیچیدگی. هدف این کتاب دو چیز است: کتاب درسی بودن. برای سخنرانی های مبتدیان در زمینه های ذکر شده، همانطور که تقریباً در تمام برنامه های درسی علوم کامپیوتر، منطق و ریاضیات امروزی دیده می شود، اما همچنین یک تک نگاری که در آن، به شیوه ای سیستماتیک، نتایج بیشتر تحقیقات اخیر در هر یک از حوزه های مورد بررسی ارائه شده است. (عمدتاً برای اولین بار به صورت کتاب درسی) ارائه شده و تلاش شده است تا به صراحت قیاس و ارتباط بین اصطلاحات و ساختارهای مختلف مورد بررسی قرار گیرد.

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

Thema dieses Buches sind zwei schon Voh Leibniz als zusammengehörend erkannte Begriffe, deren mathematische Entwicklung von Frege bis Turing das theoretische Fundament der Computerwissenschaft gelegt hat: der Be­ griff formaler Sprache als Träger präzisen Ausdrucks von Bedeutungen, Sach­ verhalten, Problemen und der des Algorithmus oder Kalküls, d. h. formal ope­ rierender Verfahren zur Lösung präzis beschriebener Fragen und Probleme. Das Buch gibt eine einheitliche Einführung in die moderne Theorie dieser Begriffe, wie sie sich zuerst in der mathematischen Logik und der Berechen­ barkeitstheorie und weiter in der Automatentheorie, der Theorie formaler Sprachen und der Komplexitätstheorie entwickelt hat. Neben der Berücksich­ tigung eines schon klassisch gewordenen Grundkanons dieser Gebiete ist die Stoffauswahl mit der Absicht getroffen worden, durchgängig Erneuerungen traditioneller Fragestellungen, Ergebnisse und Methoden den Vorrang zu ge­ ben, die sich aus Bedürfnissen oder Erkenntnissen der Informatik und hier besonders der Komplexitätstheorie heraus entwickelt haben. Die Zielsetzung dieses Buches ist eine doppelte: Lehrbuch zu sein. für Anfängervorlesungen zu den genannten Gebieten, wie sie in fast allen Curri­ cula der Informatik, der Logik und der Mathematik heute auftreten, aber darüberhinaus auch Monographie, indem in systematischer Absicht in jedem der angesprochenen Gebiete weiterführende Ergebnisse neuerer Forschungen (großenteils erstmalig in lehrbuchartiger Form) vorgeführt werden und über­ all versucht wird, Analogien und Zusammenhänge zwischen verschiedenen Be­ griffen und Konstruktionen explizit herauszuarbeiten.

فهرست مطالب

Front Matter....Pages I-XVII
Mathematischer Algorithmusbegriff....Pages 2-52
Komplexität Algorithmischer Unlösbarkeit....Pages 53-136
Rekursivität und Komplexität....Pages 137-264
Logische Analyse des Wahrheitsbegriffs....Pages 267-315
Logische Analyse Des Beweisbegriffs....Pages 316-351
Komplexität Logischer Entscheidungsprobleme....Pages 352-422
Back Matter....Pages 423-470

نظرات کاربران

کتاب های تصادفی

دانلود کتاب The European Union and International Development: The Politics of Foreign Aid (Uaces Contemporary European Studies)

دانلود کتاب Comprehensive Psychiatry Review

دانلود کتاب Наука и образование: Материалы VI Международной научно-практической конференции (18 марта 2016 г.). Сборник научных трудов

دانلود کتاب Disciplining the Divine

دانلود کتاب The Meaning of Freedom: Yan Fu and the Origins of Chinese Liberalism