Version 1.0

This is the first release of the discrete structure notes written for the course of Discrete structures 1 held at Karl Ruprecht university by professors Joos and Bertille.

The notes are undergoing maintenance, they are currently a bit broken, pay attention to the contents that are not necessarily correct.