Theoretische Informatik

1 Mathematische Grundlagen.- 1.1 Mengen.- 1.2 Strukturen.- 1.3 Übungen.- 2 Algorithmen.- 2.1 Turing-Maschinen.- 2.2 Produktionssysteme.- 2.3 Formulierung von Algorithmen.- 2.4 Übungen.- 3 Berechen- und Entscheidbarkeit.- 3.1 Berechenbarkeit.- 3.2 Entscheidbarkeit.- 3.3 ?-rekursive Funktionen.- 3.4 These von Church.- 3.5 Grenzen algorithmischer Lösbarkeit.- 3.6 Übungen.- 4 Komplexität.- 4.1 Zeit-und Speicherkomplexität.- 4.2 Sortieralgorithmen.- 4.3 Übungen.- 5 Nebenläufigkeit.- 5.1 Nichtdeterminismus.- 5.2 Nebenläufige Prozesse.- 5.3 Übungen.- 6 Selbstmodifizierende und selbstreproduzierende Algorithmen.- 6.1 Selbstbezüglichkeit.- 6.2 Computerviren: Grundbegriffe.- 6.3 Arbeitsweise von Computerviren.- 6.4 Umgang mit Computerviren.- 6.5 Übungen.- Lösungen zu den Übungen.- Abbildungen.- Register.