2IT80 Introduction to discrete structures