Discrete Structures for Computing