مشخصات کتاب

Theoretische Informatik: Eine umfassende Einführung

ویرایش: 2., erw. Aufl. 
نویسندگان: Katrin Erk. Prof. Dr. Lutz Priese (auth.)  
سری: Springer-Lehrbuch 
ISBN (شابک) : 9783540426240, 9783662104286 
ناشر: Springer Berlin Heidelberg 
سال نشر: 2002 
تعداد صفحات: 462 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 15 مگابایت 

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

در صورت تبدیل فایل کتاب Theoretische Informatik: Eine umfassende Einführung به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب علوم کامپیوتر نظری: مقدمه ای جامع نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب علوم کامپیوتر نظری: مقدمه ای جامع

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

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

Diese Einf?hrung zeichnet sich durch Verst?ndlichkeit und gute Lesbarkeit aus. Sie umfa?t die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen ?berblick ?ber die Komplexit?tstheorie. Das Buch eignet sich insbesondere f?r Anf?nger, da alle Beweise im Detail ausgef?hrt sind. Damit bietet es zugleich eine Einf?hrung in die Technik des Beweisens. F?r Dozenten ist interessant, dass die Beweise nicht nur wie vielfach ?blich skizziert sind und auch Nicht-Standard-Berechnungsmodelle ausf?hrlich vorgestellt werden.
Das Buch basiert auf Vorlesungen der letzten zehn Jahre f?r Studierende der Informatik im Grundstudium an den Universit?ten Paderborn und Koblenz.
Die Neuauflage wurde um theoretische Grundlagen f?r Quantenrechner erg?nzt.

فهرست مطالب

Front Matter....Pages I-X
Einleitung....Pages 1-1
Begriffe und Notationen....Pages 3-34
Eine kurze Einführung in die Aussagenlogik....Pages 35-49
Front Matter....Pages 51-51
Grammatiken und formale Sprachen....Pages 53-61
Reguläre Sprachen und endliche Automaten....Pages 63-107
Kontextfreie Sprachen....Pages 109-163
Turing-Maschinen....Pages 165-193
Die Sprachklassen ℒ , ℒ 0 und ℒ 1 ....Pages 195-214
Abschlußeigenschaften von Sprachklassen....Pages 215-223
Front Matter....Pages 225-225
Einleitung....Pages 227-231
Registermaschinen....Pages 233-251
Rekursive Funktionen....Pages 253-289
Unentscheidbare Probleme....Pages 291-324
Alternative Berechnungsmodelle....Pages 325-419
Komplexität....Pages 421-454
Back Matter....Pages 455-467

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

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

دانلود کتاب The Polish-Lithuanian Monarchy in European Context, C.1500-1795

دانلود کتاب Women Vs. Feminism: Why We All Need Liberating from the Gender Wars

دانلود کتاب The Village of Waiting

دانلود کتاب How I Found Freedom in an Unfree World: A Handbook for Personal Liberty

دانلود کتاب Engineering Economics of Life Cycle Cost Analysis