(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload
Form der Prüfung
Ausbildungslevel
Studienfachbereich
VerantwortlicheR
Anbietende Uni
9 ECTS
Kumulative Fachprüfung
M1 - Master 1. Jahr
Mathematik
Manuel Kauers
Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum
Masterstudium Computer Mathematics 2020W
Ziele
(*)An important part of computer mathematics is to translate mathematical results into executable algorithms. Another important aspect is to implement these executable aspects into actual computer programs so that they can be used for solving problems that are of independent interest. Students of computer mathematics must therefore also have a certain familiarity with software development, which is taught in this subject.
Lehrinhalte
(*)The subject is divided into two courses. In the course Practical Software Technology, tools are presented that are used for supporting the software development process (design, implementation, coordination of team members, bug management, etc.). In the course on Formal Methods in Software Development, basic concepts of formal specification and formal reasoning about software are presented.
Untergeordnete Studienfächer, Module und Lehrveranstaltungen
