This course aims at introducing the fundamental logical and mathematical concepts that are at the core of computer science. The main focus is on logical and mathematical topics that are used in designing, analyzing, solving and implementing computer science systems. Thereby the main topics presented in this course are logic and proofs, induction, counting, sets, relations, and discrete probability. The course also provides an introductory coverage of some discrete mathematical structures that are frequently used in computer science, such as graphs and trees.