Theoretische Informatik: Eine umfassende Einführung

by Lutz Priese (Author), KatrinErk (Author), Katrin Erk (Contributor), Lutz Priese (Author)

• New

  Paperback
  2018

  $40.49

  Diese Einfuhrung in die Theoretische Informatik zeichnet sich durch Verstandlichkeit und gute Lesbarkeit aus. Sie umfasst die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen UEberblick uber die Komplexitatstheorie. Das Buch eignet sich insbesondere fur Anfanger: Alle Beweise sind im Detail ausgefuhrt - insofern ist es auch eine Einfuhrung in die Technik des Beweisens. Fur Dozenten ist das Buch ebenfalls interessant, da die Beweise nicht nur wie vielfach ublich skizziert sind und auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre fur Studierende der Informatik im Grundstudium an den Universitaten Paderborn und Koblenz.