CSE as AND gate University of Washington Computer Science & Engineering
 CSE 311: Foundations of Computing I
  CSE Home   About Us    Search    Contact Info 

 Main page
Assignments and exams
 Anonymous feedback
 Discussion board

Welcome to CSE 311 (Spring 2011)

Aram Harrow (Instructor)


Jason Ganzhorn and Priya Chagaleti (TAs)

MWF 1:30-2:20 in EEB 037

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.
(Catalog Description. Prerequisites: CSE 143; either MATH 126 or MATH 136. Credits: 4).

These web pages will be updated throughout the quarter. Announcements will be posted to the class mailing list: cse311a_sp11@u.washi... (enrolled students are automatically subscribed to this list). To access all messages, click Mailing List Archive.

Announcements will be posted in the space below.

  • Final exam from 2:30-4:20pm on Monday, June 6 in Bagley Hall, Room 131.

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.

CSE logo Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA  98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX
[comments to Aram Harrow]