Principle of Computing: Logic, Discrete Structure, and Data Structure

3 credits

Propositional logic and logic inference, problem-solving techniques (recursion, induction, and mathematical proof), models of computation (theory of finite automata), graph theory, data structures (linear data structures, dictionaries, and graphs), basic algorithmic techniques. [3-2-0] Prerequisite: One of COSC 114, APSC 171 and one of COSC 123, COSC 111.