Spring 2018 CS 357 Sect. 1 Models of Computing

Professor Name

• Kim Tracy, Illinois Wesleyan University

Semester and Year

Spring 2018

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 amd CS/MATH 135. Offered every year.

Recommended Citation

Tracy, Kim, "Spring 2018 CS 357 Sect. 1 Models of Computing" (2018). Computer Science Syllabi. 84.
https://digitalcommons.iwu.edu/compsci_syllabi/84