2012: J Paul GibsonTSP: Mathematical FoundationsMAT7003/L7-Computability.1 MAT 7003 : Mathematical Foundations (for Software Engineering) J Paul Gibson,