InhaltsangabeVorwort 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 NPVollstä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 Betriebssysteme und 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. Petra Steffens (Dipl.-Inform., M.Phil.) kann auf eine mehr als 25-jährige Berufserfahrung in IT-Unternehmen und Forschungseinrichtungen zurückblicken. Seit zehn Jahren ist sie bei der Fraunhofer-Gesellschaft tätig, wo sie sich mit strategischen und technologischen Fragestellungen des E-Government befasst. Davor war sie als Linguistin und Informatikerin viele Jahre bei IBM für F&E-Projekte im Bereich der Sprachverarbeitung verantwortlich. Thorsten Moritz (Dipl.-Inform (FH)) ist seit 5 Jahren wissenschaftlicher Mitarbeiter am Fachbereich Informatik und Mikrosystemtechnik der Fachhochschule Kaiserslautern. In dieser Zeit hat er zahlreiche Projekte im Bereich Usability und Software Engineering geleitet und Übungsgruppen zu unterschiedlichsten Themengruppen der Informatik betreut.

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 dieModularisierung 7.5 Ausnahmebehandlung 8 Objektorientierte Programmierung 8.1 Grundlegende Begriffe 8.2 Klassen und ihre Hierarchien 8.3 Polymorphie und dynamische Bindung 9 Betriebssysteme und Systemsoftware 9.1 Generelle Aufgaben 9.2 Pozesse und Prozessverwaltung 9.3Prozesssynchronisation 9.4 Speicherverwaltung 9.5 Dateisysteme 9.6 Schutzmechanismen 10 Software Engineering 10.1Besonderheiten der Softwareentwicklung 10.2 Organisatorische Lösungsansätze 10.3Technische Lösungsansätze 10.4Spezielle 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 13Schaltkreise, Schaltwerke 13.1 Schaltkreise 13.2 Vereinfachungsverfahren 13.3Technische Realisierung 13.4 Schaltwerke 14 Rechnernetze 14.1 OSI und TCP/IP 14.2 Fehlererkennung und -korrektur Literatur Symbolverzeichnis Namen- und Sachverzeichnis