HOME

What is VideoOnline? Watch our introduction!

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
  • (00:36:10) > 
    Korrektheit der Resolution
  • (01:18:12) > 
    Kompaktheitssatz
    • Date: 26.06.2012
    Lecturer: Prof. Dr. Martin Hofmann

    Video aufrufbar
    Sequenzenkalkül, Korrektheit und Vollständigkeit

  • (00:00:00) > 
    Sequenzenkalkül (Fortsetzung)
  • (00:05:18) > 
    Regeln des Sequenzenkalküls
  • (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
    Lecturer: Prof. Dr. Martin Hofmann

    Video aufrufbar
    Aussagenlogik

    Date: 13.06.2012
    Lecturer: Prof. Dr. Martin Hofmann

    Video aufrufbar
    Endliche Körper

    Date: 12.06.2012
    Lecturer: Prof. Dr. Martin Hofmann

    Video aufrufbar
    Gruppen

    Date: 23.05.2012
    Lecturer: Prof. Dr. Martin Hofmann

    Video aufrufbar
    Organisation, Mengen.

    Date: 17.04.2012
    Lecturer: Prof. Dr. Martin Hofmann
    Website: 
    http://www.tcs.ifi.lmu.de/mitarbeiter/martin-hofmann
    RSS-Feed abonnieren: RSS-Feed abonnieren