2. Adventsüberraschung: 10% Rabatt auf alle Spiele! Jetzt mehr erfahren.
Willkommen, schön sind Sie da!
Logo Ex Libris

Theoretische Informatik

  • E-Book (pdf)
  • 433 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Diese Einführung in die Theoretische Informatik zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus. Sie umfaßt die Theor... Weiterlesen
CHF 50.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

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 gleichzeitig eine Einführung in die Technik des Beweisens. Für Dozenten ist interessant, daß die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle vorgestellt werden.

Inhalt
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.

Produktinformationen

Titel: Theoretische Informatik
Untertitel: Eine umfassende Einführung
Autor:
EAN: 9783662104293
Format: E-Book (pdf)
Hersteller: Springer Berlin
Genre: Informatik
Veröffentlichung: 14.03.2013
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 433
Auflage: 2000

Weitere Bände aus der Buchreihe "Springer-Lehrbuch"