Inhalt
[ 521THEOLOGU13 ] UE Logic
|
|
|
|
 |
| 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 2024W |
| Ziele |
Die Studierenden beherrschen Logik als Arbeitssprache und die Fähigkeit mit Logik zu rechnen. Nach Absolvierung dieser Lehrveranstaltung sind die Studierenden in der Lage
- Definitionen von logischen Sprachen zu verstehen (Syntax und Semantik)
- Wahrheitswerte von logischen Formeln zu berechnen
- Gesetze und Regeln logischer Sprachen zu verstehen und zur Vereinfachung von Formeln anzuwenden
- Regeln von Beweissytemen anzuwenden
- mit diversen Hintergrund-Theorien zu arbeiten
- einfache Fragestellungen der künstlichen Intelligenz bzw. formalen Verifikation in logische Formeln zu kodieren und zu lösen
- verschiedene automatische Beweiser zu verwenden
|
| 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 |
Moodle Kurs
|
|
|
|
| Präsenzlehrveranstaltung |
| Teilungsziffer |
35 |
| Zuteilungsverfahren |
Direktzuteilung |
|
|
|
