Cover Image
Read Now

Theoretische Informatik Eine umfassende Einführung

Diese Einführung umfasst die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Alle Beweise werden ausführlich behandelt. Schwierige Beweise werden nicht etwa abgekürzt, sondern eingehender behandelt. Damit bietet dieses Buch zugleich ei...

Full description

Bibliographic Details
Main Authors: Erk, Katrin, Priese, Lutz (Author)
Format: eBook
Language:German
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2008, 2008
Edition:3rd ed. 2008
Series:eXamen.press
Subjects:
Computer Science—mathematics
Computation By Abstract Devices
Mathematical Logic And Formal Languages
Mathematical Logic
Algorithms
Mathematics Of Computing
Computers
Mathematical Logic And Foundations
Theory Of Computation
Algorithm Analysis And Problem Complexity
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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

Similar Items