
CSC 2510 Theoretical Foundations of Computer Science
Credit Hours 3.0
Prerequisites (CSC 1301 or DSCI 1301) and (MATH 1113 or MATH 2211) with a C or higher.

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.