Logical/mathematical foundations of computer science. Formal languages, their correspondence to machine models. Lexical analysis, string matching, parsing. Decidability, undecidability, limits of computability. Computational complexity.prereq: 2041 or instr consent
View on University Catalog
All Instructors
This total also includes data from semesters with unknown instructors.
Kathryn Jensen
2 terms from Fall 2017 to Spring 2019
Spring 2019
Fall 2017
Nick Hopper
3 terms from Spring 2018 to Summer 2020
Summer 2020
Fall 2019
Spring 2018
Carl Sturtivant
6 terms from Fall 2018 to Fall 2023
Fall 2023
Fall 2022
Fall 2021
Spring 2021
Spring 2020
Fall 2018
Gopalan Nadathur
4 terms from Fall 2020 to Spring 2024
Spring 2024
Spring 2023
Spring 2022
Fall 2020
Gopher Grades is maintained by Social Coding with data from Summer 2017 to Spring 2024 provided by the Office of Institutional Data and Research