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.

Video aufrufbar
Resolution, Kompaktheit, Prädikatenlogik informell

  • (00:00:00) > 
    Resolution
  • (00:09:53) > 
    Resolvente
  • (00:17:58) > 
    Resolutionsverfahren
  • (00:33:14) > 
    Belegung
  • (01:18:12) > 
    Kompaktheitssatz
  • Date: 26.06.2012

    Video aufrufbar
    Sequenzenkalkül, Korrektheit und Vollständigkeit

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