CSC220 — Foundations of Computer Science

Credits: This course focuses on the specification, design, and analysis of software development. The course will look at propositional and predicate logic, sets, and relations in how they relate to software development. Students will examine the use of functions, recursive definition and induction, finite state machines, and formal languages in the design of a software system.

Prerequisites: CSC111