عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540426248
شابک
3662104288
شابک
9783540426240
شابک
9783662104286
شماره کتابشناسی ملی
شماره
b551765
عنوان و نام پديدآور
عنوان اصلي
Theoretische Informatik :
نام عام مواد
[Book]
ساير اطلاعات عنواني
Eine umfassende Einführung
نام نخستين پديدآور
von Katrin Erk, Lutz Priese.
وضعیت ویراست
وضعيت ويراست
Zweite, erweiterte Auflage
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg : Imprint : Springer
تاریخ نشرو بخش و غیره
2002
مشخصات ظاهری
نام خاص و کميت اثر
.
فروست
عنوان فروست
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 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.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Combinatorial analysis.
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Computer software.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
von Katrin Erk, Lutz Priese.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Katrin Erk
مستند نام اشخاص تاييد نشده
Lutz Priese
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
