Stav dette: Computer science, a mathematical introduction :