CSDS 343

Theoretical Computer Science

Case Western Reserve University · UGRD · Fall 2026

1 section

Catalog description

Introduction to different classes of automata and their correspondence to different classes of formal languages and grammars, computability, complexity and various proof techniques. Offered as CSDS 343 and MATH 343 . Prereq: CSDS 302 or MATH 304 .

Sections

Current meeting, instructor, credit, and enrollment details

Updated 6 hours ago

001

Availability not recently verified

Class #case_western_reserve-CSDS343Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?