322: CSE Formal Models in Computer Science Website: http://www.cs.washington.edu/322 Lecture Times: MWF 1:30-2:30 in EE 045 (in the dungeon of EE.) Instructor: Dave Bacon Office: CSE 460 Email: [e-mail] Phone: [phone] Office hours: M 2:30-3:00, W 2:30-3:30 in CSE 460 or by appointment Teaching Assistant: Hao Lu Email: [e-mail] Office hours: Th 5:30-7:00 in CSE 216 Teaching Assistant: Isaac Myers Email: [e-mail] Office hours: Th 11:30-12:30 in CSE 216
Syllabus March 31, 2008
Textbook: Michael Sipser, Introduction to the Theory of Computation, PWS Publishing, Second edition. First edition is also okay (problems and reading from text will be noted when they have different numbers in different editions.) The international edition is not supported: use at your own risk. Class Mailing List: Sign up immediately! Direct your browser to: https://mailman.cs.washington.edu/mailman/listinfo/cse322. Grading: Homeworks, midterm, and a final. Homeworks will generally be due on Friday. Grade breakdown is Homework: 55%, Midterm: 20%, Final: 25%. Lowest homework score will be dropped. Homework Late Policy: There will be weekly problem sets, generally due on Fridays. Homework should be handed in at the beginning of lecture on the day it is due. Late problem sets will not receive credit. (If a genuine emergency situation prevents you from handing in an assignment on time, come talk to one of us and we can work something out. Similarly, if you can anticipate an extraordinary or unusual circumstance that will necessitate an extension, please talk to us ahead of time.) Extra credit: Occasionally there will be extra credit on the homework. This will result in a minimal impact on your final grade. They are mostly to enrich your learning. Do then for the glory, not the points, and don't even start working on them until you've got the normal problems done.
Collaboration on Homeworks: we Unless specifically state otherwise, we permit collaboration on the problem sets to the extent of formulating ideas as a group, provided (1) You spend at least 30 minutes on each and every problem alone, before discussing it with others (this might seem very restrictive, but this will almost certainly help you in the midterm and final exams), (2) You write up each and every problem in your own writing, using your own words, and understand the solution thoroughly and completely (a good approach to make sure that your write-up is independent is to engage in some other activity for 30 minutes after any discussion with others and before you write up your own solution), and (3) You clearly acknowledge and list the names of everyone that you discussed the problem set with. Cheating: Short version: don't do it! Long version: Your solutions to the problem sets must be original work (modulo collaboration as permitted above). Copying someone else's solutions obviously counts as cheating (see below), as does copying the homework from another source (the web, other classes, etc.). The questions in the problem sets have been carefully selected for their peda...