CS 336 Analysis of Programs
F2010
Instructor:
Dr. Maggie Myers
[email protected]
Office hours:
Tuesday 2, Wednesday 11, extra hours, and appointment
Office:
ACES2.112
Phone:
4719533
TAs:
Reza Mahjourian, Gabriel Elizondo
Tutoring every Monday from 5  7pm in RLM 5.122
Joe:
[email protected]
Office hours: Painter 5.38
Wed: 5:306:30
Fri: 2:303:30
Reza:
[email protected]
Office hours: Tuesdays 57pm in the ENS basement lab
We hope this class is instructive and worthwhile for you. If during the semester you have
any suggestions for how the TAs or I can improve the course, please let us know.
Text:
Discrete Mathematics and its Applications
, Kenneth H. Rosen. (6
th
edition)
The text is a reference and will be supplemented. Information will be organized on the
class’s electronic blackboard (http://courses.utexas.edu)
Grading:
Three 100 pt exams (Sept. 21, Oct. 14, and Nov. 4), a comprehensive final
(
Saturday, December 11, 2:00‐5:00 pm)
worth 180 pts, and a 120 pt.
Quiz/homework/pretest/sample exam grade combine for a possible 600 pts. No curve!
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
This is the end of the preview.
Sign up
to
access the rest of the document.
 Fall '08
 Myers
 Combinatorics, Correctness, Formal verification, formal methods, Hoare logic, ro g ra

Click to edit the document details