CSE 311: Foundations of Computing I

CSE Home

About Us

Search

Contact Info

Main page Administration  Syllabus  Lectures Assignments and exams  Assignments  Exams Communication  Anonymous feedback  Discussion board

Welcome to CSE 311 (Spring 2011) Aram Harrow (Instructor) with 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.

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