Title: Mathematical Foundations of Computer Science