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