Lehrveranstaltungen



Wahlmodul 1: Automatisches Beweisen (10 ECTS-AP, 5 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Absolventinnen und Absolventen dieses Moduls kennen verschiedene ein- und höherstufige Logiken sowie deren Vor- und Nachteile. Zudem sind sie mit den notwendigen Kalkülen vertraut, um eigenständig einen automatischen Theorembeweiser zu implementieren.
Zur übergeordneten Rubrik
ML
703608
Automatisches Theorembeweisen (VO / 2h / 4 ECTS-AP)
Georg Moser
Details zu dieser Lehrveranstaltung
ML
703609
Automatisches Beweisen (PS / 1h / 2 ECTS-AP)
Vincent van Oostrom
Details zu dieser Lehrveranstaltung
ML
703607
Computationale Logik (VO / 2h / 4 ECTS-AP)
Aart Middeldorp
Details zu dieser Lehrveranstaltung

Hinweis:
  • Es können sich noch Änderungen im Lehrveranstaltungsangebot sowie bei Raum- und Terminbuchungen ergeben.
  • Bitte wählen Sie für das Lehrveranstaltungsangebot die Fakultät aus, der Ihre Studienrichtung zugeteilt ist.