Jun 24, 2024  
2023-2024 Undergraduate Catalog 
2023-2024 Undergraduate Catalog [ARCHIVED CATALOG]

CSC 2510 - Theoretical Foundations of Computer Science

3 Credit Hours
Prerequisites: 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.