Es ist eine neuere Version 2025W dieser LV im Curriculum Bachelorstudium Technische Mathematik 2025W vorhanden.
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.