Theoretische Informatik
Eine umfassende Einführung
Seiten
2008
|
3. Aufl. 2008
Springer Berlin (Verlag)
978-3-540-76319-2 (ISBN)
Springer Berlin (Verlag)
978-3-540-76319-2 (ISBN)
- Titel erscheint in neuer Auflage
- Artikel merken
Zu diesem Artikel existiert eine Nachauflage
Verständlich und gut lesbar: Diese fundierte Einführung eignet sich insbesondere für Anfänger, da sie Beweise im Detail ausführt und insofern auch in die Technik des Beweisens einführt. Zusätzlich stellen die Autoren Nicht-Standard-Berechnungsmodelle vor...
Fundierte Einführung in die Theoretische InformatikDiese 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. Die Neuauflage wurde um theoretische Grundlagen für Quantenrechner ergänzt.
Fundierte Einführung in die Theoretische InformatikDiese 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. Die Neuauflage wurde um theoretische Grundlagen für Quantenrechner ergänzt.
Begriffe und Notationen.- Begriffe und Notationen.- Eine kurze Einführung in die Aussagenlogik.- Eine kurze Einführung in die Aussagenlogik.- Formale Sprachen.- Grammatiken und formale Sprachen.- Reguläre Sprachen und endliche Automaten.- Kontextfreie Sprachen.- Turing-Maschinen.- Die Sprachklassen und .- Abschlußeigenschaften von Sprachklassen.- Berechenbarkeit.- Registermaschinen.- Rekursive Funktionen.- Unentscheidbare Probleme.- Alternative Berechnungsmodelle.- Komplexität.
| Erscheint lt. Verlag | 29.2.2008 |
|---|---|
| Reihe/Serie | eXamen.press |
| Zusatzinfo | XV, 485 S. 115 Abb. |
| Verlagsort | Berlin |
| Sprache | deutsch |
| Maße | 155 x 235 mm |
| Gewicht | 754 g |
| Themenwelt | Informatik ► Theorie / Studium ► Theoretische Informatik |
| Schlagworte | Automaten • Berechenbarkeit • Berechnungsmodelle • Endlicher Automat • Entscheidbar • Formale Sprache • formale Sprachen • Graph • Informatik; Handbuch/Lehrbuch • Komplexität • Komplexitätstheorie • Kontextfreie Sprache • Notation • Registermaschine • Reguläre Sprache • Sprachklasse • Theoretische Informatik • Theorie der formalen Sprachen • Turing-Maschine |
| ISBN-10 | 3-540-76319-8 / 3540763198 |
| ISBN-13 | 978-3-540-76319-2 / 9783540763192 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Hardcover (2012)
Westermann Schulbuchverlag
CHF 44,90
Schulbuch Klassen 7/8 (G9)
Buch | Hardcover (2015)
Klett (Verlag)
CHF 29,90
Buch | Softcover (2004)
Cornelsen Verlag
CHF 23,90
