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