University of Aberdeen, Computing Science CS2013 Mathematics for Computing Science Adam Wyner Slides adapted from Michael P. Frank ’ s course based on.
Foundations of Logic Mathematical Logic is a tool for working with elaborate compound statements. It includes: A formal language for expressing them.