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
Technical Mathematics
»
Electives
Inhalt
[
201SYMR18
] Subject Symbolic computation
Versionsauswahl
Version
2025W
2023W
2018W
2013W
2012W
Workload
Mode of examination
Education level
Study areas
Responsible person
Coordinating university
0-13,5 ECTS
Structure
B3 - Bachelor's programme 3. year
Mathematics
Manuel Kauers
Johannes Kepler University Linz
Detailed information
Original study plan
Bachelor's programme Technical 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
VL Algebraic Combinatorics
VL Automated Reasoning
VL Mathematical Logic
VL Symbolic Summation and Integration
KV Formal Methods in Software Development
KV SAT Solving
UE Algebraic combinatorics
UE Mathematical logic
KV Practical in Symbolic Computation
VL Special Topics symbolic computation (1.5 ECTS)
UE Special Topics symbolic computation
VL Special Topics symbolic computation
