[ 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 |
|