Nov 22, 2024  
2018-2019 Undergraduate Catalog 
    
2018-2019 Undergraduate Catalog [Archived Catalog]

CSC 221 - Foundations of Computer Science


2018-2019 Catalog Year:

Formalisms underlying the specification, design, and analysis of software, including propositional and predicate logic, sets, relations, functions, recursive definition and induction, finite state machines, formal languages, Turing machines, and the limits of computability.

Prerequisite: CSC 212 or COG 212.
Offered: Fall, Spring
Credit: 3