[ 201UCMACOLU18 ] UE Computational Logic
|
|
|
|
 |
| Workload |
Ausbildungslevel |
Studienfachbereich |
VerantwortlicheR |
Semesterstunden |
Anbietende Uni |
| 1,5 ECTS |
B2 - Bachelor 2. Jahr |
Mathematik |
Wolfgang Schreiner |
1 SSt |
Johannes Kepler Universität Linz |
|
|
|
| Detailinformationen |
| Quellcurriculum |
Bachelorstudium Technische Mathematik 2023W |
| Ziele |
Die Studierenden lernen die praktische Lösung von Problemen der computerbasierten Logik, zum Teil unter Verwendung von logik-basierten Softwarewerkzeugen.
|
| Lehrinhalte |
Algorithmische Methoden in der Aussagenlogik, Prädikatenlogik, entscheidbaren Theorien.
|
| Beurteilungskriterien |
Laufend auszuarbeitende schriftliche/software-basierte Übungsaufgaben.
|
| Lehrmethoden |
Siehe Vorlesung.
|
| Abhaltungssprache |
Englisch |
| Literatur |
Siehe Vorlesung.
|
| Lehrinhalte wechselnd? |
Nein |
|
|
|
| Präsenzlehrveranstaltung |
| Teilungsziffer |
25 |
| Zuteilungsverfahren |
Direktzuteilung |
|
