Catalog Description: Examines fundamentals of logic, set theory, induction, and algebraic structures with applications to computing; finite state machines; and limits of computability.
Prerequisites: CSE 143; either MATH 126 or MATH 136.
Credits: 4
Standard Syllabus: 311
Announcements: