Prüfungstrainer Informatik

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

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.