Spring 2019 CS 357 Sect. 1 Models of Computing

Professor Name

• Andrew Shallue, Illinois Wesleyan University

Semester and Year

Spring 2019

Dept

Computer Science

Course Number

357

Section Number

1

Shared Curriculum Category/Flag

Writing Intensive Course (W)

Course Catalog Description

Theoretical foundations of computing. Automata, grammars, decidability and complexity. Computability and logic: undecidability and incompletesness. Automata theoretic approaches to decision problems in logic. Prerequisite: CS 128 and CS/MATH 135. Offered every year.

Recommended Citation

Shallue, Andrew, "Spring 2019 CS 357 Sect. 1 Models of Computing" (2019). Computer Science Syllabi. 98.
https://digitalcommons.iwu.edu/compsci_syllabi/98