LOGIK UND ALGORITHMEN (LOAL)

Bildungs- und Lehraufgabe:
Die Studierenden sollen
-    aussagenlogische Ausdrücke vereinfachen können und in konkrete elektronische Schaltungen umsetzen können;
-    mehrwertige Logiken und die Prädikatenlogik kennen lernen und an Hand konkreter Aufgabenstellungen anwenden können;
-    die für die Informatik wesentlichen Aspekte der Graphentheorie beherrschen und mittels geeigneter Algorithmen einsetzen können;
-    die relevanten Prinzipien der Automatentheorie kennen und einsetzen;
-    unabhängige, formale Beschreibungsmethoden für Daten und Sprachen kennen und einsetzen;
-    komplexe Algorithmen aus dem Bereich der Datenverarbeitung zielgerichtet verwenden können und deren Grundlagen verstehen.

Lehrstoff:
3. und 4. Semester:
(1. und 2. Kolleg-Semester):
Algorithmen:
Standardalgorithmen und ausgewählte Algorithmen aus Bereichen verwandter Gegenstände, Grundzüge der Computernumerik. Kompressionsalgorithmen, Kodierungsverfahren, Kryptographie, Verschlüsselungsalgorithmen.
Aussagenlogik:
Normalformen, Äquivalenzumformungen, Vereinfachung aussagenlogischer Ausdrücke.
Schaltalgebra:
Gatter, Flip-Flops, ausgewählte Schaltungen.

Fortführung des gleichnamigen Pflichtgegenstandes im ersten Abschnitt.

Lehrstoff:
5. und 6. Semester:
(3. und 4. Kolleg-Semester):
Fuzzylogik:
Unscharfe Mengen, Zugehörigkeitsfunktionen, Linguistische Variablen, Modifikatoren.
Syntaxanalyse:
Backus-Naur-Form, Ableitungsbäume, Chomsky-Hierarchie, Syntaxdiagramme, Automaten.
Graphentheorie:
Bäume, Kantenfolgen, Weg- und Distanzmatrizen, Artikulationen, Brücken.
Algorithmen:
Ausgewählte Algorithmen aus Bereichen verwandter Gegenstände, Algorithmen zur praktischen Anwendung der Graphentheorie, Isomorphismen.