Logik und Diskrete Strukturen

Hinweis: 

Aktuelle Hinweise & Termine zur Veranstaltung finden Sie ab sofort am rechten Rand der Vorlesungshomepage. Sie können dazu nun auch RSS-Feeds abonnieren.

Videostream und Folien
Resolution, Kompaktheit, Prädikatenlogik informell

videoonline teaser image
  • (00:00:00) > 
    Resolution
  • (00:09:53) > 
    Resolvente
  • (00:17:58) > 
    Resolutionsverfahren
  • (00:33:14) > 
    Belegung
  • (01:18:12) > 
    Kompaktheitssatz
  • Aufzeichnung vom: 26.06.2012

    Videostream und Folien
    Sequenzenkalkül, Korrektheit und Vollständigkeit

    videoonline teaser image
  • (00:17:48) > 
    Herleitung
  • (00:23:54) > 
    Axiome und Beweis
  • (00:32:39) > 
    Korrektheit
  • (00:40:38) > 
    Vollständigkeit
  • (01:01:38) > 
    Herleitbare Regeln
  • Aufzeichnung vom: 20.06.2012

    Videostream und Folien
    Aussagenlogik

    videoonline teaser image
    Aufzeichnung vom: 13.06.2012