Inhalt

[ 521THEOLOGV13 ] VL Logic

Versionsauswahl
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS B1 - Bachelor 1. Jahr Mathematik Armin Biere 2 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Informatik 2017S
Ziele Logik als Arbeitssprache und Rechnen mit Logik
Lehrinhalte Aussagenlogik, Prädikatenlogik, Gültigkeit, SAT, SMT, DPLL, Resolution, Beweiskalkül, Skolemisierung, Normalformen, Entscheidbarkeit, Unvollständigkeit
Beurteilungskriterien Klausur
Abhaltungssprache Englisch
Literatur Folien.
Lehrinhalte wechselnd? Nein
Sonstige Informationen http://fmv.jku.at/logik/
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung