über mich
- 1: Wer bin ich?.
- 2: Mein Studium.
- 2.1: Wie alles begann.
- 2.2: Veranstaltungen.
- 2.2.1: Zwischenprüfung.
- 2.2.2: BWP.
- 2.2.3: Wiwi.
- 2.2.4: Informatik.
- 2.2.1:
- 2.3: Handelslehramt.
- 2.4: Referendariat.
- 2.5: Uni Oldenburg.
- 2.6: Berufsschulen.
- 2.7: Wohnen in Oldenburg.
- 2.8: Links.
- 2.1:
- 3: Meine Hobbys.
Theoretische Informatik
In dieser Veranstaltung ging es um die Vermittlung der Grundlagen der Aussagenlogik, die Prädikatenlogik und die Temporale Logik.
Veranstaltungstitel: Theoretische Informatik I
Dozent: Dr. habil. Henning Dierks
Dauer: ein Semester
Leistungsnachweis: aktive Mitarbeit in den Übungen (mind. 40%) + Klausur
Inhalte der Veranstaltung:
- logischen Formelsprache
- boolesche Ausdrücke
- Horn-Klauseln
- Prädikatenlogik
- Temporalen Logik
- interaktives und automatisches Beweisen
- Logik-Programmierung
- Syntax, Semantik und Verfahren zur Überprüfung des Wahrheitswertes von Formeln der Aussagenlogik, Prädikatenlogik und Temporalen Logik