Stav dette: Comprehensive mathematics for computer scientists 2