Computer Science

General goals: The course aims at presenting basic methods and tools for modelling, analysis and design of intelligent systems. Specific goals: The course aims at making students proficient in the comprehension and use of a wide set of modelling, design, verificaton and validation techniques for intelligent systems. Knowledge and understanding: A wide-spectrum introduction to the foundational principles of modelling, analisys and design of intelligent systems modelled as continuous time or discrete time dynamical systems. Applying knowledge and understanding: The successful student will be able to exploit the portfolio of techniques and the different approaches shown in the course for the modelling, design, verificaton and validation of intelligent systems. Critical and judgmental skills: Students will be able to take autonomous and rational decisions on the most effective techniques to employ for the modelling, design, verification and validation of intelligent systems. Communication skills: Students will be able to interact proficiently with domain experts on a wide set of topics concerning modelling, design, verification and validation of intelligent systems. Learning ability: Students will be able to extend their skills in the subjects of this course, by the autonomous reading of relevant scientific literature.