Study guide of JKU Linz
Seitenbereiche:
Sprachauswahl:
Sprache:
DE
[
EN
]
.
Studienhandbuch-Login
User ID
Password
.
Menü
Overview
All curricula
External tools
KUSSS
Auwea NG
Positionsanzeige
Computational Mathematics
»
Electives
Inhalt
[
404SYCO23
] Subject Symbolic computation
Versionsauswahl
Version
2025W
2023W
2021W
2020W
Workload
Mode of examination
Education level
Study areas
Responsible person
Coordinating university
0-31,5 ECTS
Structure
M - Master's programme
Mathematics
Manuel Kauers
Johannes Kepler University Linz
Detailed information
Original study plan
Master's programme Computational Mathematics 2025W
Learning Outcomes
Competences
These result from the subordinate elements
Skills
Knowledge
These result from the subordinate elements
These result from the subordinate elements
Subordinated subjects, modules and lectures
KV SAT Solving
UE Algebraic combinatorics
UE Mathematical logic
KV Practical in Symbolic Computation
SE Symbolic Computation
VL Special Topics symbolic computation (1.5 ECTS)
UE Special Topics symbolic computation
VL Special Topics symbolic computation
