n
Fundamental mathematical and
logical structures for
u
Understanding computing.
u
Analyzing and verifying the
correctness of software and
hardware.
