Mathematical Foundations of Computing

Mathematics provides many powerful insights for current and future fundamental principles of computer science. Learn how to model problems mathematically, reason about them abstractly and then apply techniques to explore their properties. This broad introduction to mathematical applications will prepare you to move forward and solve today’s most important problems within the computer science field.

Topics Include

Formal language theory such as finite automata, Turing machines and NP-completeness
Induction, sets, functions and relations
Proof techniques and applications
Propositional predicate logic