This text covers the standard topics in a sophomore-level course in discrete mathematics: logic, sets, proof techniques, basic number theory, functions, relations, and elementary combinatorics, with an emphasis on motivation. It explains and clarifies the unwritten conventions in mathematics, and guides the students through a detailed discussion on how a proof is revised from its …

A Spiral Workbook for Discrete Mathematics (CC BY-NC-SA)Read More »

This is a new open textbook version of the material mentioned above. Applied Discrete Structures is designed for use in a university course in discrete mathematics spanning up to two semesters. Its original design was for computer science majors to be introduced to the mathematical topics that are useful in computer science. It can also …

Discrete Mathematics: An Open Introduction (CC BY-SA)Read More »

Mathematics for Computer Science – LibreText PDF; Mathematics for Computer Science PDF (CC BY-SA)This text explains how to use mathematical models and methods to analyze problems that arise in computer science. Proofs play a central role in this work because the authors share a belief with most mathematicians that proofs are essential for genuine understanding. Proofs also …

Mathematics for Computer ScienceRead More »