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).
Apr 1, 2022
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.
Dec 1, 2021
The goal of this course is to introduce computer science methods for engineering problem solving.
Nov 1, 2021
Presentation of the fundamental principles and formal tools at the basis of all methods of design, verification and implementation of computer systems.
Sep 1, 2021
The course introduces the main classes of languages and their related automata.
Sep 1, 2021
The coding weeks are a mini programming boot camp.
Oct 1, 2020
The course is composed of two main parts, Information Systems and Programming, the second focusing on the Python language.
Sep 1, 2019
Series of short tutorials designed as a refresher course.
Sep 1, 2019