CSC 2510 - Theoretical Foundations of Computer Science

3 Credit Hours

Pre/Corequisites: Prerequisite: Math 1113 or Math 1220 with a C or higher.
Description
This course focuses on the following topics: 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.