# Discrete Structures IBL Course Notes

This spring (2022), I am writing a set of IBL course notes with the following aims:

- Introduce students to the basics of logic and proof.
- Offer a first glimpse of a rigorous treatment of sets and functions.
- Introduce some of the basic ideas of graph theory alongside material on proof techniques.
- Offer a resource on writing in $\LaTeX$.

If these goals sound interesting to you, feel free to check the notes at https://notes.mkjanssen.org/ds.