discrete mathematics for computer science in arabic