Discrete Structures for Computer Science I