| |
Nov 04, 2026
|
|
|
|
|
Undergraduate Catalog 2026-2027
|
CSC 220 Foundations of Computer Science Credits: (3)
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 .
Learning Outcomes
- Demonstrate use of sets, functions, and relations in the design and solution of software systems.
- Demonstrate the ability to determine if a problem is uncomputable/has no algorithmic solution.
- Demonstrate the ability to convert to propositional and predicate logical expressions from an informal language.
- Create a state machine to transform a non-deterministic to a deterministic machine and to take a regular expression and represent a specified language.
- Apply logic to form the model for a software system.
|
|
