Wintersemester 2016/17

<< SS2016    SS2017 >>
Archiv
Lehrveranstaltung und -termine, Stand: 23.02.17 21:41
Logiksysteme - Prof. Klaus Reinhardt
0 Termine

Aussagenlogik: Syntax, Semantik, Funktionale Vollständigkeit, Normalformen, natürliches Schließen, Vollständigkeit, Prädikatenlogik, Modale Logik, Intuitionistische Logik, Temporale Logik, Lineare Logik.

Für den ersten Teil wird ein Skript verwendet, für die Modallogik das Buch von Kreuzer und Kühling "Logik für Informatiker"

Ab 20.4. immer in Raum 3325 im Informatikinstitut Ernst-Abbe-Platz 2.
Zeit wie zuvor Mittwochs 12:15, Donnerstags 8:30