Zur Navigation springen

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.

Achtung. Diese Aufzeichnung ist aus dem Semester: SoSe12

Videostream und Folien Kompaktheit der Prädikatenlogik, Resolution für die Prädikatenlogik

Aufzeichnung vom: 11.07.2012
Dozent: Prof. Dr. Martin Hofmann

Nur Videostream Sätze von Löwenheim Skolem und Herbrand, Pränex Normalform

Aufzeichnung vom: 10.07.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Korrektheit und Vollständigkeit

  1. (00:00:00) >
    Beweisregeln für Quantoren
  2. (00:07:50) >
    Korrektheitsatz für Prädikatenlogik
  3. (00:37:40) >
    Vollständigkeit der Prädikatenlogik
  4. (01:14:30) >
    Induktion über Formeln
Aufzeichnung vom: 04.07.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Sequenzenkalkül fuer die Prädikatenlogik

  1. (00:00:00) >
    Semantik der Prädikatenlogik
  2. (00:21:00) >
    Allgemneingültige Formel
Aufzeichnung vom: 03.07.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Semantik der Prädikatenlogik

  1. (00:00:00) >
    Prädikatenlogik
  2. (00:19:39) >
    Syntax: Sprache 1.Ordnung
  3. (00:38:00) >
    Syntax:Term, freie und gebundene Variable, Grundterm
  4. (00:51:42) >
    Syntax: Substitution
  5. (01:04:00) >
    Semantik: Struktur
Aufzeichnung vom: 27.06.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Resolution, Kompaktheit, Prädikatenlogik informell

  1. (00:00:00) >
    Resolution
  2. (00:09:53) >
    Resolvente
  3. (00:17:58) >
    Resolutionsverfahren
  4. (00:33:14) >
    Belegung
  5. (00:36:10) >
    Korrektheit der Resolution
  6. (01:18:12) >
    Kompaktheitssatz
Aufzeichnung vom: 26.06.2012
Dozent: Prof. Dr. Martin Hofmann

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

  1. (00:00:00) >
    Sequenzenkalkül (Fortsetzung)
  2. (00:05:18) >
    Regeln des Sequenzenkalküls
  3. (00:17:48) >
    Herleitung
  4. (00:23:54) >
    Axiome und Beweis
  5. (00:32:39) >
    Korrektheit
  6. (00:40:38) >
    Vollständigkeit
  7. (01:01:38) >
    Herleitbare Regeln
Aufzeichnung vom: 20.06.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Normalformen, Erfüllbarkeit, Allgemeingültigkeit, Sequenzenkalkül informell

  1. (00:00:00) >
    Boolesche Algebra
  2. (00:14:42) >
    Tautologien und Erfüllbarkeit
  3. (00:20:31) >
    Erfüllbare Formeln
  4. (00:27:01) >
    Normalformen
  5. (01:11:39) >
    Sequenzenkalkül
Aufzeichnung vom: 19.06.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Aussagenlogik

Aufzeichnung vom: 13.06.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Endliche Körper

Aufzeichnung vom: 12.06.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Gruppen

Aufzeichnung vom: 23.05.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Algebraische Strukturen

Aufzeichnung vom: 22.05.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Polynome, Algebraische Strukturen

Aufzeichnung vom: 16.05.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Euklidischer Algorithmus, Lösen von Kongruenzen, Chinesischer Restesatz, Polynome (ohne DFT)

Aufzeichnung vom: 15.05.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Primzahlen, Teilbarkeit, modulare Arithmetik, ggT

Aufzeichnung vom: 09.05.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Ordnungen und Verbände

Aufzeichnung vom: 08.05.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Vollständige Induktion, Ordnungen und Verbände

Aufzeichnung vom: 25.04.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Beweise, vollständige Induktion

Aufzeichnung vom: 24.04.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Relationen und Abbildungen

Aufzeichnung vom: 18.04.2012
Dozent: Prof. Dr. Martin Hofmann

Videostream und Folien Organisation, Mengen.

Aufzeichnung vom: 17.04.2012
Dozent: Prof. Dr. Martin Hofmann
Website: http://www.tcs.ifi.lmu.de/mitarbeiter/martin-hofmann
RSS-Feed abonnieren: RSS-Feed abonieren

Die Unterrichtsmitschau und didaktische Forschung ist eine Einrichtung des Departments für Pädagogik und Rehabilitation der Ludwig Maximilians Universität München. Auf VideoOnline finden Sie ein Vorlesungsverzeichnis aller Vorlesungen und Veranstaltungen der LMU, die von uns aufgezeichnet werden. Loggen Sie sich über das LMU Portal ein, um Zugriff auf die Videos Ihrer Studienfächer zu bekommen.