Discrete Mathematical Structures: Theory and Applications

Teaches students the mathematical foundations of computer science, including logic, Boolean algebra, basic graph theory, finite state machines, grammars and algorithms, and helps them understand mathematical reasoning for reading, comprehension and construction of mathematical arguments.