Digital library
Textbooks, references and open learning resources.
External
Discrete Mathematics for Information Technology
Simon Crothers · Kwantlen Polytechnic University · 2026
Discrete Mathematics for Information Technology is an applied, student-focused introduction to the mathematical foundations that underpin modern computing. Designed for learners in information technology and business contexts, this textbook bridges theory and practice by connecting core concepts, such as number systems, data representation, logic, proofs, relations, algorithms, Boolean algebra, and graph theory, to real-world applications in programming, networking, databases, and systems design. Each chapter is structured with clear explanations, worked examples, case studies, and programming-oriented exercises that reinforce both conceptual understanding and practical skills. Emphasis is placed on developing analytical thinking, problem-solving, and the ability to model and reason about digital systems with precision and confidence. As an open educational resource, the text is adaptable and accessible, supporting a wide range of teaching and learning environments. By integrating mathematical rigor with authentic IT scenarios, this book equips students with the essential tools needed to succeed in modern, data-driven and technology-focused careers.
External
Mathematics for Computer Science
Eric Lehman, F. Thomson Leighton, & Alberty R. Meyer · Google and Massachusetts Institute of Technology
In the contents: 01: Proofs · 01: Intro to Proofs · 1.06: Proving an If and Only If
External
Foundations of Computation
Carol Critchlow & David J. Eck · Hobart and William Smith Colleges
In the contents: 01: Logic and Proof · 1.01: Propositional Logic · 1.03: Application - Logic Circuits
External
Delftse Foundations of Computation
Stefan Hugtenburg & Neil Yorke-Smith · Delft University of Technology
In the contents: 01: Logic · 1.01: Propositional Logic · 1.1.02: Logical operators
External
Discrete Mathematics for Computer Science
Jin He · Fresno City College
In the contents: 01: Introduction to Propositional Logic · 1.04: Proving an If and Only If · 1.05: Proof by Cases
External
Discrete Mathematics for Computer Science
Mark A. Fitch · University of Alaska Anchorage
In the contents: 02: Logic · 2.01: Formal Logic · 2.03: Predicate Logic