A Journey into Automated Reasoning
Yes, No, Maybe, I Don’t Know
Yes, No, Maybe, I Don’t Know
Formal systems correspond to abstract structures (language and axioms) used for inferring theorems via a set of rules, providing a foundation for knowledge.
This course presents some of the fundamentals of computer science on its two paradigms of computation, namely reduction (calculation step by step) and resolution (logical inference / automatic reasoning).
Game theory is the formal study of the interactions between rational agents defined by the objectives they seek to achieve and by their strategic options.
The goal of this course is to introduce computer science methods for engineering problem solving.
The course introduces the main classes of languages and their related automata.
Presentation of the fundamental principles and formal tools at the basis of all methods of design, verification and implementation of computer systems.
The coding weeks are a mini programming boot camp.
Series of short tutorials designed as a refresher course.
The course is composed of two main parts, Information Systems and Programming, the second focusing on the Python language.