|CSE Home||About Us||Search||Contact Info|
Welcome to CSE 311 (Spring 2011)
Aram Harrow (Instructor)
Jason Ganzhorn and Priya Chagaleti (TAs)
This class will teach you how to think logically, or at least how to think like a computer. We will explore logic, set theory, induction, algebraic structures, emphasizing applications to computation. One major theme will be models, and limitations, of computation. The emphasis will be on proofs and rigor: you will learn how to prove things rigorously, and why this is a good idea.
These web pages will be updated throughout the quarter. Announcements will be posted to the class mailing list: firstname.lastname@example.org... (enrolled students are automatically subscribed to this list). To access all messages, click Mailing List Archive.
Announcements will be posted in the space below.
Portions of the CSE 311 Web may be reprinted or adapted for academic nonprofit purposes, provided the source is accurately quoted and duly credited. The CSE 311 Web: Copyright 2011, Department of Computer Science and Engineering, University of Washington.
Computer Science & Engineering|
University of Washington
Seattle, WA 98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX
[comments to Aram Harrow]