Inhalt

[ 201SYMRSP2V20 ] VL Special Topics symbolic computation

Versionsauswahl
(*) Unfortunately this information is not available in english.
Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS B3 - Bachelor's programme 3. year Mathematics Carsten Schneider 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Technical Mathematics 2024W
Objectives Selected topics from the areas symbolic summation and special functions.
Subject The teaching content changes semester by semester. The participants' previous knowledge is taken into account when selecting the topics.
Criteria for evaluation Oral examination at the end of the semester
Methods Lecture at the blackboard
Language English and French
Study material Selected research papers
Changing subject? Yes
Corresponding lecture (*)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)
Earlier variants They also cover the requirements of the curriculum (from - to)
201SYMRSP2V12: VL Special Topics symbolic computation (2012W-2020S)
Is completed if (*)201LOSDSP2V20: VL Special topics logic and software design (3 ECTS)
On-site course
Maximum number of participants -
Assignment procedure Direct assignment