CSCI-B 401 Fundamentals of Computing Theory
credits
- Prerequisite(s): CSCI-C 310, CSCI-C 343, or CSCI 36200
- Delivery: On-Campus
- Semesters offered: Spring (Check the schedule to confirm.)
Description
Fundamentals of formal language theory, computation models and computability, the limits of computability and feasibility, and program verification.
Learning Outcomes
- Understand basic concepts in formal language theory, grammars, automata theory, computability theory, and complexity theory.
- Analyze and design finite automata, pushdown automata, Turing machines, formal languages, and grammars.
- Relate real-world problems to languages, automata, computability, and complexity.
Policies and Procedures
Please be aware of the following linked policies and procedures. Note that in individual courses instructors will have stipulations specific to their course.