 |
| 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 |
Mündliche Prüfung am Ende des Semesters
|
| Lehrmethoden |
Tafelvortrag
|
| Abhaltungssprache |
English |
| Literatur |
Ausgewählte Research Papers
|
| Lehrinhalte wechselnd? |
Ja |
| Äquivalenzen |
ist gemeinsam mit 201SYMRSP2U20: UE Special Topics symbolic computation (1,5 ECTS)
äquivalent zu
404PCSDPSTK20: KV Practical Software Technology (4,5 ECTS)
201SYMBIPDV23: VL Introduction to parallel and distributed computing (3 ECTS)
201SYMBFPLV23: VL Formal Semantics of Programming Languages (3 ECTS)
201SYMBRCLV23: VL Rewriting in Computer Science and Logic (3 ECTS)
201SYMRSF2V20: VL Special Functions and Symbolic Summation (3 ECTS)
TM1WIVOTHSW: VL Thinking, Speaking, Writing (3 ECTS)
201SYMBCTHV23: VL Computability theory (3 ECTS)
201SYMBDAAV23: VL Design and Analysis of Algorithms (3 ECTS)
|
| Frühere Varianten |
Decken ebenfalls die Anforderungen des Curriculums ab (von - bis)
201SYMRSP2V12: VL Spezialvorlesung Symbolisches Rechnen (2012W-2020S)
|
| Gilt als absolviert, wenn |
201LOSDSP2V20: VL Special topics logic and software design (3 ECTS)
|
|
