[ 521THEOLOGV13 ] VL Logic
|
|
|
| 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 |
|
