Foundations of Comp Science

Catalog description

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. Prerequisite(s): CSC 111.