CSIS 44249 Building Blocks of Theoretical Computer Science

Foundational underpinnings of topics central to theoretical Computer Science. Topics include (but are not limited to) Logic and Sets, Proofs, Evaluation of Algorithms, Automata, Graphs, Recursion, Computability, and Grammars. Prerequisites: Sophomore standing and a minimum grade of C in CSIS 44141 and any of the following: MATH 17117 or MATH 17118 or MATH 17120. (F, S)