Fall 2016 CS 357 Sect. 1 Models of Computing

Professor Name

• Andrew Shallue, Illinois Wesleyan University

Semester and Year

Fall 2016

Dept

Computer Science

Course Number

357

Section Number

1

Shared Curriculum Category/Flag

Writing Intensive Course (W)

Course Catalog Description

Models of Computing (W) 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 255 or CS/Math/Phil 360. Offered each spring.

Recommended Citation

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