Inhalt

[ 521THEOLOGV13 ] VL Logik

Versionsauswahl
Es ist eine neuere Version 2021W dieser LV im Curriculum Bachelorstudium Artificial Intelligence 2023W 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 2013W
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
Lehrinhalte wechselnd? Nein
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung