Use logical notation to define and clarify basic mathematical concepts such as sets, relations, functions, and integers. Mathematical discourse on the basis of judgment, and reasoning of fallacy. Make inductive hypothesis, simple inductive method to prove. Apply graph theory models and state machines in data structures to solve connectivity and constraint satisfaction problems.