1.- Cálculo Proposicional.
2.- Circuitos Combinatorios.
3.- Equivalencias Lógicas.
4.- Álgebra de Proposiciones.
5.- Inferencias Lógicas.
6.- Cuantificadores.
7.- Álgebra de Conjuntos.
Como sugerencia personal les recomiendo el libro rojo de Jorge Sáenz...