..
Suche
Hinweise zum Einsatz der Google Suche
Personensuchezur unisono Personensuche
Veranstaltungssuchezur unisono Veranstaltungssuche
Katalog plus
/ ti / lehre / ws1516 / logik /
 

Vorlesung Logik I (WS 2015/16)

Aktuelles

  • Die Einsicht zur Klausur findet am Dienstag, den 01. März, um 10-11 Uhr im Raum H-A 8107 statt.
  • Die Noten sind nun im LSF einsehbar. Ein Termin zur Einsicht wird demnächst bekanntgegeben.

Organisatorisches

  • Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7109, Tel. 0271-740-2826)
  • Vorlesungstermin:
    • Dienstag, 14:00-16:00 im H-C 6321
  • Übungstermin:
    • Montag, 16:00-18:00 im H-F 001 (von Danny Hucke)
    • Donnerstag, 14:00-16:00 im H-C 6321 (von Moses Ganardi)

Einige Themen

  • Aussagenlogik
    • Äquivalenz und Normalformen
    • Hornformeln
    • Endlichkeitssatz
    • Resolution
  • Prädikatenlogik
    • Pränexnormalform
    • Herbrand-Theorie
    • Resolution

Folien (Version 14.10.2015)


Übungsblätter


Lehrbücher

  • Uwe Schöning: Logik für Informatiker, Spektrum Akademischer Verlag
Impressum