Studienhandbuch der JKU Linz
Seitenbereiche:
Sprachauswahl:
Sprache:
[
DE
]
.
EN
Studienhandbuch-Login
Benutzername
Passwort
.
Menü
Übersicht
Alle Curricula
Externe Tools
KUSSS
Auwea NG
Positionsanzeige
Technische Mathematik
»
Wahlfächer
Inhalt
[
201SYMR18
] Studienfach Symbolisches Rechnen
Versionsauswahl
Version
2025W
2023W
2018W
2013W
2012W
(*)
Leider ist diese Information in Deutsch nicht verfügbar.
Workload
Form der Prüfung
Ausbildungslevel
Studienfachbereich
VerantwortlicheR
Anbietende Uni
0-13,5 ECTS
Gliederung
B3 - Bachelor 3. Jahr
Mathematik
Manuel Kauers
Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum
Bachelorstudium Technische Mathematik 2025W
Lernergebnisse
Kompetenzen
Ergeben sich aus den untergeordneten Elementen
Fertigkeiten
Kenntnisse
Ergeben sich aus den untergeordneten Elementen
Ergeben sich aus den untergeordneten Elementen
Untergeordnete Studienfächer, Module und Lehrveranstaltungen
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
