Logic & Sets

Logic:

1. Propositional logic

2. Semantic entailment

3. Adequate systems of connectives

4. Functional completeness — CNF, DNF, Satisfiability & DPLL

5. Logic circuits

6. Binary Decision Trees, OBDD

7. Universal & Existential quantification

8. Predicate Logic

Sets

1. Relations

2. Partial orders

3. Equivalence classes

4. Equivalence relations & classes

5. Cardinality

6. Functions