Inhalt
[ 521THEOLOGU13 ] UE Logic
|
|
|
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 |
|
|
|