Inhalt

[ 201SYMRSP2V20 ] VL Special Topics symbolic computation

Versionsauswahl
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS B3 - Bachelor 3. Jahr Mathematik Carsten Schneider 2 SSt Johannes Kepler Universität Linz
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)
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung