-Numbers and computers (including binary, sign-magnitude and two’s complement) -Propositional Logic (including logical operations such as AND, OR, NOT) -Predicate Logic and Proof -Logic circuits (including logic gates, karnaugh maps and adders) -Switching circuits -Assembly Language (including branching, if statements and loops) -Finite state automa and regular languages (including lexical analysis) -Pushdown automa and Turing machines