2IT80 (2020-2) Introduction to discrete structures