Inhalt

[ 521THEOLOGU13 ] UE Logic

Versionsauswahl
Es ist eine neuere Version 2024W dieser LV im Curriculum Bachelorstudium Artificial Intelligence 2024W vorhanden.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
1,5 ECTS B1 - Bachelor 1. Jahr Informatik Martina Seidl 1 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 Vorlesung).
Lehrmethoden Übungsaufgaben, die von den Vortragenden vorgerechnet werden. Praktische Aufgaben, die mittels Logiktools zu lösen sind.
Abhaltungssprache Englisch
Literatur Folien plus Videoaufzeichnungen.
Lehrinhalte wechselnd? Nein
Sonstige Informationen http://fmv.jku.at/logic
Präsenzlehrveranstaltung
Teilungsziffer 35
Zuteilungsverfahren Direktzuteilung