(*) Unfortunately this information is not available in english.
Workload
Education level
Study areas
Responsible person
Hours per week
Coordinating university
1,5 ECTS
B3 - Bachelor's programme 3. year
Mathematics
Carsten Schneider
1 hpw
Johannes Kepler University Linz
Detailed information
Original study plan
Bachelor's programme Technical Mathematics 2024W
Objectives
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.
Subject
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.
Criteria for evaluation
Language
English and French
Changing subject?
Yes
Earlier variants
They also cover the requirements of the curriculum (from - to) 201SYMRSP1V12: VL Special Topics symbolic computation (2012W-2020S)
Is completed if
(*)201LOSDSP1V20: VL Special topics logic and software design (1,5 ECTS)
