Inhalt
[ 201SYMRSP2U20 ] UE Special Topics symbolic computation
|
|
|
|
| (*) Leider ist diese Information in Deutsch nicht verfügbar. |
 |
| Workload |
Ausbildungslevel |
Studienfachbereich |
VerantwortlicheR |
Semesterstunden |
Anbietende Uni |
| 1,5 ECTS |
B3 - Bachelor 3. Jahr |
Mathematik |
Carsten Schneider |
1 SSt |
Johannes Kepler Universität Linz |
|
|
|
| Detailinformationen |
| Quellcurriculum |
Bachelorstudium Technische Mathematik 2025W |
| Lernergebnisse |
Kompetenzen |
| (*)The students learn techniques to solve problems on symbolic objects (finitary representations of mathematical entities with “infinite semantics”). There are several instances of this course with varying subtitles referring to the concrete topics that are presented in the course. The different topics deal with algebraic expressions (computer algebra), logical propositions (computational logic), and computer programs (automatic programming); details can be found in the course announcement.
|
|
| Fertigkeiten |
Kenntnisse |
(*)The following skills are covered depending on the choice of the course: Developing and understanding
- computer algebra algorithms with the underlying mathematical theory and apply it to practical problem solving (combinatorics, particle physics, computer science, special functions, linkages, geometry);
- techniques for formal verification of systems and software and apply it to concrete real world problems;
- algorithmic theories of proving with a special focus on automatic generation of human readable proofs.
|
(*)Learning research-driven but also practically oriented algorithms, procedures, and tools in computer algebra, computational logic, and automatic programming; software systems (for computer algebra, computer aided design, computer assisted reasoning, knowledge management, etc); usage of symbolic computation tools and its possibilities for problem solving.
|
|
| Beurteilungskriterien |
|
| Abhaltungssprache |
English |
| Lehrinhalte wechselnd? |
Ja |
| Äquivalenzen |
ist gemeinsam mit 201SYMRSP2V20: VL Special Topics symbolic computation (3 ECTS)
äquivalent zu
404PCSDPSTK20: KV Practical Software Technology (4,5 ECTS)
201SYMRSF2U21: UE Special Functions and Symbolic Summation (1,5 ECTS)
|
| Frühere Varianten |
Decken ebenfalls die Anforderungen des Curriculums ab (von - bis)
201SYMRSP2U12: UE Spezialvorlesung Symbolisches Rechnen (2012W-2020S)
|
| Gilt als absolviert, wenn |
201LOSDSP1U20: UE Special topics logic and software design (1,5 ECTS)
|
|
|
|
| Präsenzlehrveranstaltung |
| Teilungsziffer |
25 |
| Zuteilungsverfahren |
Direktzuteilung |
|
|
|
