2024-2025 Catalog - Courses - CS - Computer Science - 300 - CS 303
2024-2025 Catalog
An introduction to the theoretical foundations of computer science and formal models of computation. Topics will include formal languages, finite automata, computability, and undecidability.