Inhalt

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

Versionsauswahl
Es ist eine neuere Version 2024W dieser LV im Curriculum Masterstudium Computational Mathematics 2024W vorhanden.
(*) 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 2023W
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
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