Discrete Structures for IT