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
7 terms from Fall 2018 to Spring 2025
Spring 2025
Fall 2023
Fall 2022
Fall 2021
Spring 2021
Spring 2020
Fall 2018
Gopalan Nadathur
5 terms from Fall 2020 to Fall 2024
Fall 2024
Spring 2024
Spring 2023
Spring 2022
Fall 2020
Gopher Grades is maintained by Social Coding with data from Summer 2017 to Summer 2025 provided by the University in response to a public records request
Not affiliated with the University of Minnesota