Spring 2025 CS357 Sect. 1 Models of Computing

Professor Name

Trevor E. Jack, Illinois Wesleyan University

Semester and Year

Spring 2025

Dept

Computer Science

Course Number

357

Section Number

1

Shared Curriculum Category/Flag

Writing Intensive Course (W)

Crosslisted Course

MATH370

Course Catalog Description

Theoretical foundations of computing. Automata, grammars, decidability, and complexity. Computability and logic: undecidability and incompleteness. Automata theoretic approaches to decision problems in logic. Offered alternate years.

Recommended Citation

Jack, Trevor E., "Spring 2025 CS357 Sect. 1 Models of Computing" (2025). Computer Science Syllabi. 10.
https://digitalcommons.iwu.edu/compsci_syllabi/10