---

Es ist Prüfungszeit, und Sie müssen es wissen. Und Sie werden es wissen - wenn Sie es wissen wollen.

Nutzen Sie den Prüfungstrainer, so wie ein Eisbrecher den Helikopter benutzt: Um von einem guten Überblick aus eine kraft- und zeitsparende Route zu finden. Dies vermeidet allzu schweres Eis und damit ein Festfahren. Man spart auf diese Weise, selbst wenn man auf schiere Kraft zurückgreifen kann, Zeit und Energie.

Der Prüfungstrainer führt so nicht nur zum Ziel der bestandenen Prüfung. Auch der Weg selbst wird wieder interessant.

---

Vorwort Auf ein Wort Theoretische Informatik 1 Logikkalküle für Informatiker 1.1 Syntax und Semantik 1.2 Normalformen 1.3 Unentscheidbarkeit und Prädikatenlogik höherer Stufen 2 Berechenbarkeit 2.1 Turingmaschinen 2.2 Alternative Konzepte der Berechenbarkeit 2.3 Unentscheidbarkeit 3 Komplexitätstheorie 3.1 Komplexitätsklassen 3.2 NP-Vollständigkeit 3.3 Komplexitätsklassen probabilistischer Turingmaschinen 4 Formale Sprachen und Automatentheorie 4.1 Endliche Automaten und reguläre Ausdrücke 4.2 Formale Grammatiken 4.3 Normalformen kontextfreier Grammatiken 4.4 Syntaxbäume und Pumping-Lemma 4.5 Kellerautomaten 4.6 Deterministische kontextfreie Sprachen 4.7 Kontextsensitive Sprachen und allgemeine Regelsprachen Praktische Informatik 5 Datenstrukturen 5.1 Elementare Datenstrukturen 5.2 Abstrakte Datentypen 5.3 Baumstrukturen 6 Algorithmen 6.1 Allgemeine rekursive Algorithmen 6.2 Komplexitätsanalyse von Algorithmen 6.3 Elementare Sortieralgorithmen 6.4 Fortgeschrittene Sortieralgorithmen 6.5 Suchalgorithmen 6.6 Textsuche 6.7 Kryptologie 7 Programmiersprachen 7.1 Grundlegende Elemente 7.2 Bausteine der Datenmodellierung 7.3 Bausteine für die Ablaufsteuerung 7.4 Funktionale Bausteine für die Modularisierung 7.5 Ausnahmebehandlung 8 Objektorientierte Programmierung 8.1 Grundlegende Begriffe 8.2 Klassen und ihre Hierarchien 8.3 Polymorphie und dynamische Bindung 9 Betriebssystemeund Systemsoftware 9.1 Generelle Aufgaben 9.2 Pozesse und Prozessverwaltung 9.3 Prozesssynchronisation 9.4 Speicherverwaltung 9.5 Dateisysteme 9.6 Schutzmechanismen 10 Software Engineering 10.1 Besonderheiten der Softwareentwicklung 10.2 Organisatorische Lösungsansätze 10.3 Technische Lösungsansätze 10.4 Spezielle Aspekte der Qualitätssicherung 11 Human Computer Interaction 11.1 Gestalt und Wahrnehmung 11.2 Methoden und Gesetze Technische Informatik 12 Datendarstellung 12.1 Grundlagen der Datendarstellung 12.2 Komplexe Datendarstellung und Codes 13 Schaltkreise, Schaltwerke 13.1 Schaltkreise 13.2 Vereinfachungsverfahren 13.3 Technische Realisierung 13.4 Schaltwerke 14 Rechnernetze 14.1 OSI und TCP/IP 14.2 Fehlererkennung und -korrektur Literatur Symbolverzeichnis Namen- und Sachverzeichnis

---

Hans-Jürgen Steffens (Dipl.-Math., Dr.-phil.) lehrt seit 13 Jahren Informatik am Standort Zweibrücken der Fachhochschule Kaiserslautern. Er war beteiligt am Aufbau der dortigen Diplom- und Bachelor-Studiengänge und ist Studiengangsleiter des von ihm mitentwickelten Masterstudienganges in Computer Science. Im Laufe seiner vorangegangenen mehr als 15-jährigen Berufserfahrung in multinationalen Unternehmen der IT-Branche befasste er sich mit einer Vielzahl von Themen der System- und Anwendungsentwicklung.

---