Inhalt
[ 201SYMRSP2U20 ] UE Special Topics symbolic computation
|
|
|
|
| (*) 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 2025W |
| Learning Outcomes |
Competences |
| The students learn techniques to solve problems on symbolic objects (finitary representations of mathematical entities with “infinite semantics”). There are several instances of this course with varying subtitles referring to the concrete topics that are presented in the course. The different topics deal with algebraic expressions (computer algebra), logical propositions (computational logic), and computer programs (automatic programming); details can be found in the course announcement.
|
|
| Skills |
Knowledge |
The following skills are covered depending on the choice of the course: Developing and understanding
- computer algebra algorithms with the underlying mathematical theory and apply it to practical problem solving (combinatorics, particle physics, computer science, special functions, linkages, geometry);
- techniques for formal verification of systems and software and apply it to concrete real world problems;
- algorithmic theories of proving with a special focus on automatic generation of human readable proofs.
|
Learning research-driven but also practically oriented algorithms, procedures, and tools in computer algebra, computational logic, and automatic programming; software systems (for computer algebra, computer aided design, computer assisted reasoning, knowledge management, etc); usage of symbolic computation tools and its possibilities for problem solving.
|
|
| Criteria for evaluation |
|
| Language |
English and French |
| Changing subject? |
Yes |
| Corresponding lecture |
(*)ist gemeinsam mit 201SYMRSP2V20: VL Special Topics symbolic computation (3 ECTS)
äquivalent zu
404PCSDPSTK20: KV Practical Software Technology (4,5 ECTS)
201SYMRSF2U21: UE Special Functions and Symbolic Summation (1,5 ECTS)
|
| Earlier variants |
They also cover the requirements of the curriculum (from - to)
201SYMRSP2U12: UE Special Topics symbolic computation (2012W-2020S)
|
| Is completed if |
(*)201LOSDSP1U20: UE Special topics logic and software design (1,5 ECTS)
|
|
|
|
| On-site course |
| Maximum number of participants |
25 |
| Assignment procedure |
Direct assignment |
|
|
|
