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)
|