Formalization of Physics Problems

The course aims to provide students with fundamental knowledge of classical physics, focusing particularly on mechanics, rigid body dynamics, and elements of dimensional and statistical analysis. It is designed to develop analytical skills, mathematical modelling, and problem-solving abilities using methods typical of physics, with applications relevant to the field of computer science, such as numerical simulation and game physics. The course also seeks to encourage a critical approach to solving complex problems and the ability to integrate theoretical and practical knowledge.

Upon completion of the course, students will be able to understand the fundamental principles of classical physics and apply mathematical tools to solve physical, including complex, problems. They will be able to tackle Fermi-type problems, develop numerical models, and connect physics to computer science applications such as simulation and game physics, integrating both theoretical and practical knowledge in the analysis of physical phenomena.