Dieses Lehrbuch bietet in handlichem Format und zu attraktivem Ladenpreis allen Studenten an Fach- und sonstigen Hochschulen eine anwendungsorientierte Sicht der Theoretischen Informatik. Es eignet sich in hervorragender Weise für die gängigen Lehrveranstaltungen, in denen die Grundzüge der Theoretischen Informatik vermittelt werden, wie auch dafür, das Selbststudium zu unterstützen. Es richtet sich dabei sowohl an Informatiker wie auch an Ingenieure und Praktiker, die sich mit den grundlegenden Gehalten der Informatik vertraut machen wollen.
Inhaltsverzeichnis
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.