Logic and Automata

4-None

Introduction to formal logic and computational theory. Covers propositional and predicate logic and select topics from formal languages and automata theory, including regular, context-free languages, and Turing Machines.