Modelling and programming 1

Logic

Linear algebra

Bases of technical computer science 1

Algorithms and data structures