Theoretical and Mathematical Foundations of Computer Science