dozaw
Allgemeines
Hinweis zu Springerlink
Über den Autor
Lineare Algebra
Mathematische Grundlagen
Mengen, Relationen und Funktionen
Reelle Zahlen
Komplexe Zahlen
Aussagenlogik
Bausteine der Aussagenlogik
Gesetze der Aussagenlogik
Anwendungen der Aussagenlogik
Vektorrechnung
Komponentenfreie Darstellung von Vektoren
Vektoren in Komponentendarstellung
Lineare Algebra
Determinanten
Matrizen
Lineare Gleichungssysteme
Theoretische Informatik
Formale Sprachen
Alphabete, Wörter und Sprachen
Zusammenhang mit Programmiersprachen
Endliche Automaten
Deterministische endliche Automaten
Nichtdeterministische endliche Automaten
Reguläre Sprachen
Reguläre Sprachen und Operationen
Reguläre Ausdrücke
Eigenschaften regulärer Sprachen
Kontextfreie Sprachen
Kontextfreie Grammatiken
Kellerautomaten
Eigenschaften kontextfreier Sprachen
Turingmaschinen und Berechenbarkeit
Deterministische Turingmaschinen
Intuitiver Algorithmusbegriff
Turing-Berechenbarkeit
Entscheidbarkeit
Entscheidbare Probleme
Das Halteproblem
Einführung in die wissenschaftliche Projektarbeit
Rechnernetze
Computerarchitektur
Betriebssysteme