COMP 256/L. Discrete Structures for Computer Science and Lab (3/1)