64-300 Vorlesung Formale Grundlagen der Informatik IIIa - Logik und weiterführende Algorithmen

Veranstaltungsdetails

Lehrende: Prof. Dr. Petra Berenbrink

Veranstaltungsart: Vorlesung

Anzeige im Stundenplan: FGI 3 - VL Logik

Semesterwochenstunden: 2

Credits: 3,0

Unterrichtssprache: Deutsch

Min. | Max. Teilnehmerzahl: - | 120

Kommentare/ Inhalte:
In der Vorlesung werden verschiedene Logiker mit dazugehörigen Algorithmen behandelt.

Lernziel:
Vertiefte Kenntnisse grundlegender Modelle, Begriffe, Methoden und Ergebnisse der Logik und Algorithmen.

Vorgehen:
Vorlesung. Material für selbstständige Übungen wird zur Verfügung gestellt. Zum zeitnahen Verständnis des Stoffes wird die regelmässige Bearbeitung der Übungen empfohlen.

Literatur:
Wird in der Vorlesung angegeben

Termine
Datum Von Bis Raum Lehrende
1 Mo, 17. Okt. 2016 14:15 15:45 B-201 Prof. Dr. Petra Berenbrink
2 Mo, 24. Okt. 2016 14:15 15:45 B-201 Prof. Dr. Petra Berenbrink
3 Mo, 31. Okt. 2016 14:15 15:45 B-201 Prof. Dr. Petra Berenbrink
4 Mo, 7. Nov. 2016 14:15 15:45 B-201 Prof. Dr. Petra Berenbrink
5 Mo, 14. Nov. 2016 14:15 15:45 B-201 Prof. Dr. Petra Berenbrink
6 Mo, 21. Nov. 2016 14:15 15:45 B-201 Prof. Dr. Petra Berenbrink
7 Mo, 28. Nov. 2016 14:15 15:45 B-201 Prof. Dr. Petra Berenbrink
8 Mo, 5. Dez. 2016 14:15 15:45 B-201 Prof. Dr. Petra Berenbrink
9 Mo, 12. Dez. 2016 14:15 15:45 B-201 Prof. Dr. Petra Berenbrink
10 Mo, 19. Dez. 2016 14:15 15:45 B-201 Prof. Dr. Petra Berenbrink
11 Mo, 9. Jan. 2017 14:15 15:45 B-201 Prof. Dr. Petra Berenbrink
12 Mo, 16. Jan. 2017 14:15 15:45 B-201 Prof. Dr. Petra Berenbrink
13 Mo, 23. Jan. 2017 14:15 15:45 B-201 Prof. Dr. Petra Berenbrink
14 Mo, 30. Jan. 2017 14:15 15:45 B-201 Prof. Dr. Petra Berenbrink
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  •  
Lehrende
Prof. Dr. Petra Berenbrink