Inhalt

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

Versionsauswahl
(*) 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)
On-site course
Maximum number of participants -
Assignment procedure Direct assignment