This course presents several topics in mathematics that are essential to the study of many computer science areas. Those topics discussed in the course include logic, proofs, sets, algorithms, probability, relations, functions, graphs, trees, algebras, lattices, Boolean algebras, and Boolean functions.