عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540661921
شابک
3662104296
شابک
9783540661924
شابک
9783662104293
شماره کتابشناسی ملی
شماره
b580448
عنوان و نام پديدآور
عنوان اصلي
Theoretische Informatik :
نام عام مواد
[Book]
ساير اطلاعات عنواني
Eine umfassende Einführung
نام نخستين پديدآور
von Katrin Erk, Lutz Priese.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg : Imprint : Springer
تاریخ نشرو بخش و غیره
2000
فروست
عنوان فروست
Springer-Lehrbuch
یادداشتهای مربوط به مندرجات
متن يادداشت
1. Einleitung --; 2. Begriffe und Notationen --; 3. Eine kurze Einführung in die Aussagenlogik --; I. Formale Sprachen --; 4. Grammatiken und formale Sprachen --; 5. Reguläre Sprachen und endliche Automaten --; 6. Kontextfreie Sprachen --; 7. Turing-Maschinen --; 8. Die Sprachklassen?,?0 und?1 --; 9. Abschlußeigenschaften von Sprachklassen --; II. Berechenbarkeit --; 10. Einleitung --; 11. Registermaschinen --; 12. Rekursive Funktionen --; 13. Unentscheidbare Probleme --; 14. Alternative Berechnungsmodelle --; 15. Komplexität --; Bibliographische Hinweise.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Diese Einführung in die Theoretische Informatik 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: Alle Beweise sind im Detail ausgeführt - insofern ist es auch eine Einführung in die Technik des Beweisens. Für Dozenten ist das Buch ebenfalls interessant, da die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle 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.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Combinatorial analysis.
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Computer software.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
von Katrin Erk, Lutz Priese.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Katrin Erk
مستند نام اشخاص تاييد نشده
Lutz Priese
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
