Geahča maid: Mathematical foundations of computer science