mathematical expression and reasoning for computer science