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.