My Computer Science classes for the second semester of first year at ENS Ulm.
The main classes are:
- Databases (in French)
- Information Theory and Coding
- Introduction to Machine Learning
- Operating systems
- Semantics and application to formal verification
Contributing to this repository is encouraged: please let me know about typos and suggestions, using the GitHub issue feature or through a PR. Small additions are also welcomed.
Despite being written and organised by me, these documents contain material heavily inspired by my teacher's own classes.