Propositional logic, predicate logic, set theory, finite automata, temporal logic. [Offered: W, S] Prereq: Level at least 1B Computer Engineering or Electrical Engineering. Antireq: CO 220, MATH 239, 249
Propositional logic, predicate logic, set theory, finite automata, temporal logic. [Offered: W, S] Prereq: Level at least 1B Computer Engineering or Electrical Engineering. Antireq: CO 220, MATH 239, 249