The course accompanies the corresponding lecture. Students are expected to model selected problems and demonstrate their results in the form of small papers and presentations.
Subject
Logical Models of Problems and Computations.
Modelling in Kinematics and Mechanics.
Modelling and automated proving in geometry and discrete mathematics.
How to write scientific papers.
How to give scientific presentations.
Criteria for evaluation
Written paper and oral presentation.
Methods
Students work on individual problems and present their solutions.
