Inhalt

[ 201SYMRSP1V20 ] VL Special Topics symbolic computation (1.5 ECTS)

Versionsauswahl
(*) 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 2024W
Ziele (*)Advanced topics for algorithmic problem solving using symbolic methods (computer algebra, computational logic, etc.) are elaborated. Besides the training in respective skills, these lectures give a major overview of the research field of symbolic computation.
Lehrinhalte (*)For the big range of subjects see the subtitles of the different special lectures. Further information concerning evaluation criteria, methods and study material can be found on the specific lecture entries.
Beurteilungskriterien
Abhaltungssprache English
Lehrinhalte wechselnd? Ja
Frühere Varianten Decken ebenfalls die Anforderungen des Curriculums ab (von - bis)
201SYMRSP1V12: VL Spezialvorlesung Symbolisches Rechnen (2012W-2020S)
Gilt als absolviert, wenn 201LOSDSP1V20: VL Special topics logic and software design (1,5 ECTS)
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung