Prüfungstrainer Informatik (Kartoniert)

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 

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.