You are viewing an archived Georgia State catalog. For the current catalog, please visit catalog.gsu.edu.
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.
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.