###
Part 1. Numbers

choice of number systems,
binary, Gray code, one's complement, two's complement, residual number system.
###
Part 2. Boolean Algebra

manipulation of logic and gates,
laws and theorems, multiple elements, transformation,
theorems, Karnaugh map
###
Part 3. Function and Recursion

function definition and recursion, Fibonacci sequence, Ackermann function,
analytical solution of homogeneous linear recurrence relations,
pigeonhold principle.
###
Part 4. Finate State Machines

definition, input-output relations, Mealy and Moore machines,
and specification.