Ebook: 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 eine Einführung in die Technik des Beweisens und ist somit sowohl für Anfänger als auch Dozenten geeignet. Ein größeres Kapitel behandelt alternative Rechenmodelle, unter anderem Zwei-Register-Maschinen, Tag-Systeme, Wang-Maschinen, Rödding-Netze, Splicing und reversible Rechnungen.

---

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.