Theoretische Informatik Eine umfassende Einfhrung [Paperback]

Das Lehrbuch f?hrt in verst?ndlicher Sprache in die theoretische Informatik ein. Es umfasst die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und gibt einen ?berblick zur Komplexit?tstheorie. Das Buch eignet sich insbesondere f?r Einsteiger: Alle Beweise sind im Detail ausgef?hrt. F?r Dozenten ist das Buch ebenfalls interessant, da auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre f?r Studierende der Informatik im Grundstudium.

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&

Diese Einf?hrung in die Theoretische Informatik zeichnet sich durch Verst?ndlichkeit und gute Lesbarkeit aus. Sie umfasst 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.

Begriffe und Notationen - Eine kurze Einf?hrung in die Aussagenlogik - Grammatiken und formale Sprachen - Regul?re Sprachen und endliche Automaten - Kontextfreie Sprachen - Turing-Maschinen - Die Sprachklassen , ₀ und ₁ - Abschlusseigenschaften von Sprachklassen - Berechenbarkeit - Registermaschinen - Rekursive Funktionen - Unentscheidbare Probleme - Alternative Berechnungsmodelle - KomplexilS(