Es ist eine neuere Version 2023W dieser LV im Curriculum Bachelorstudium Technische Mathematik 2024W vorhanden.
Workload
Ausbildungslevel
Studienfachbereich
VerantwortlicheR
Semesterstunden
Anbietende Uni
1,5 ECTS
B2 - Bachelor 2. Jahr
Mathematik
Tudor Jebelean
1 SSt
Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum
Bachelorstudium Technische Mathematik 2022W
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.
