
Examines fundamentals of logic, set theory, induction, and algebraic structures with applications to computing; finite state machines; and limits of computability. Prerequisite: CSE 143; either MATH 126 or MATH 136.
使用 UW NetID 官方登录验证后,即可直接加入本课的 Instagram 群。