Inhalt

[ 521THEOLOGU13 ] UE Logic

Versionsauswahl
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