Keine Bearbeitungszusammenfassung
Keine Bearbeitungszusammenfassung
Zeile 17: Zeile 17:
=== Matrizen ===
=== Matrizen ===
=== Lineare Gleichungssysteme ===
=== Lineare Gleichungssysteme ===
wefewfewFef


= Theoretische Informatik =
= Theoretische Informatik =
Zeile 40: Zeile 42:
=== Entscheidbare Probleme ===
=== Entscheidbare Probleme ===
=== Das Halteproblem ===
=== Das Halteproblem ===
 
<br /><br />
= Einführung in die wissenschaftliche Projektarbeit =
= Einführung in die wissenschaftliche Projektarbeit =



Version vom 12. März 2014, 23:02 Uhr

dozaw

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

wefewfewFef

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