Inhalt

[ 521THEOLOGV13 ] VL Logic

Versionsauswahl
Es ist eine neuere Version 2024W dieser LV im Curriculum Bachelorstudium Artificial Intelligence 2024W vorhanden.
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