Wintersemester 2017/18

<< SS2017   
Archiv
Lehrveranstaltung und -termine, Stand: 21.09.17 14:02
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