CSC 2510 - Theoretical Foundations of Computer Science

3 Credit Hours
Prerequisites: MATH 1113 or MATH 2211 with a C or higher.
Description
Topics include: propositional and predicate logic with applications to logic programming, database querying, and program verification; induction and its application in proving correctness and termination of programs; recurrence relations, combinatorics, and graph theory with applications to analysis of algorithms; sets, relations, and functions and their applications in databases, functional programming, and automata.