Discrete Structures for Computer Science II