| Detailinformationen |
| Quellcurriculum |
Bachelorstudium Technische Mathematik 2024W |
| Ziele |
Die Vorlesung behandelt ausgewählte Themen aus den Bereichen Symbolische Summation und Special Functions.
|
| Lehrinhalte |
Die Lehrinhalte wechseln semesterweise. Auf Vorwissen der TeilnehmerInnen wird bei der Themenauswahl bedacht genommen.
|
| 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)
|
