CSE 322: Introduction to Formal Models in Computer Science

Paul Beame, Winter 1998

MWF 2:30-3:20, 155 Mueller

StaffNameEmailPhoneOffice Hours
Instructor: Paul Beame beame@cs 543-5114M 3:20-3:40, W 3:20-4:00, F 11:00-12:00Sieg 416
TA: Jong Hee Kang jhkang@cs543-3368W 11:30-12:20, Th 2:30-3:20Sieg 326D

Class E-mail Archive: (Last update: .)
(This is a log of all messages sent to the class e-mail list.)
To send mail to the whole class, mail to: cse322@cs.washington.edu
Instructions on how to subscribe to the cse322 mailing list can be found here.

Textbook::
Michael Sipser, Intro. to the Theory of Computation, PWS Publishing, 1997.

  • Textbook Errata

    Syllabus

    Homework:
    Assignment #1 Assignment #2 Assignment #3 Assignment #4 Assignment #5 Assignment #6 Assignment #7 Assignment #8

    Feedback:
    Anonymous (or not) feedback form to tell us how things are going.

    Midterm

    February 11 or 13 in class

    Final Exam

    Tuesday March 17, 2:30-4:20 in class Sample final exam questions

    Old Course Webs:

    Winter 1996 Autumn 1996 Winter 1997 Autumn 1997

    Portions of the CSE 322 Web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly credited. The CSE 322 Web: Copyright 1997, Department of Computer Science and Engineering, University of Washington.
    Comments to:
    cse322-webmaster@cs.washington.edu
    (Last Update: )