Lesson 1

Thank you for joining us!

This interactive textbook accompanies our year-long course on Discrete Mathematics in the Computer Science and Artificial Intelligence B.S. program at Neapolis University Pafos. It covers all the classical topics: combinatorics, graph theory, probability theory, logic, and set theory. It also presents many applications of these topics in different areas of computer science: artificial intelligence, bioinformatics, coding theory, complexity theory, cryptography, data structures and algorithms, programming language theory, and formal methods. Together, we will see many ways to use these ideas in practice. Each chapter also includes advanced topics that are not covered in standard discrete mathematics courses. Throughout the book, you will encounter a variety of active learning components, including interactive puzzles, autograded exercises, and Python code snippets. If you are looking for an even more interactive learning experience, visit this Cogniterra course, where you can submit solutions to programming challenges and interact with the instructors and fellow learners in the discussion forum. If you would instead prefer a gentler introduction to Discrete Mathematics, see this book.