Fundamental Mathematics for Computer Education

Set; function; relation and recurrence function; logic, graph and tree; discrete probability; directed graph and finite state machines for theory of computation; combinatorial analysis; algebraic systems and formal language for artificial intelligent (AI); proposition calculus for AI; case study in computer education