COMPSCI 334: Mathematical Foundations of Computer Science