Detailed information 
Original study plan 
Master's programme Computer Science 2021S 
Objectives 
The students are trained to apply the tools and concepts, introduced in the lecture, in practical problem solving: analysis of algorithms, etc. In particular, the usage of computer algebra software is encouraged.

Subject 
See the lecture.

Criteria for evaluation 
General criteria: Correctness and clarity of the presented solutions, ability to solve related problems independently;
Concrete evaluation: blackboard examples.

Methods 
The students have to work out problems and to prepare blackboard presentations (or computer presentations) of the solutions found (using, e.g., computer algebra software). Discussion about the quality and their possible improvements.

Language 
^{(*)}English 
Study material 
Detailed lecture notes and the book "The Concrete Tetrahedron" (Springer) by
Manuel Kauers and Peter Paule.

Changing subject? 
No 
Corresponding lecture 
^{(*)}201SYMRCACU12: UE Computer Algebra for Concrete Mathematics (1.5 ECTS)
