2IT80 (2022-2) Introduction to discrete structures