Inhalt

[ 521THEOLOGV13 ] VL Logic

Versionsauswahl
Es ist eine neuere Version 2024W dieser LV im Curriculum Bachelorstudium Artificial Intelligence 2024W vorhanden.
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS B1 - Bachelor 1. Jahr Informatik Martina Seidl 2 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Informatik 2021W
Ziele Die Studierenden beherrschen Logik als Arbeitssprache und die Fähigkeit mit Logik zu rechnen.
Lehrinhalte Aussagenlogik, Prädikatenlogik, Gültigkeit, SAT, SMT, DPLL, Resolution, Beweiskalkül, Skolemisierung, Normalformen, Entscheidbarkeit.
Beurteilungskriterien Wöchentliche Kurztests oder eine Klausur über den gesamten Stoff (beides zusammen mit der Übung).
Lehrmethoden Folienbasierter Vortrag mit vorgerechneten Beispielen und Tooldemos.
Abhaltungssprache Englisch
Literatur Folien und Vorlesungsvideos. Für Teile der Lehrveranstaltung ist ein Skriptum verfügbar.
Lehrinhalte wechselnd? Nein
Sonstige Informationen http://fmv.jku.at/logic
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung