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 and (MATH 1112 or MATH 1113 or MATH 2211) with grade C or higher
Description

This course covers the basic theoretical foundations required to study various sub-disciplines in computer science. 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.