Covers discrete mathematics and its applications in computing, including logic, set theory, and combinatorics.