CSC 233: Foundations of Computation, Spring 2011
News
-
Monday, January 31:
First Class
-
Wednesday, February 2:
Homework (moved to Friday)
-
Friday, February 4:
Faculty candidate talk: Dr. Anne Mulhern, "Techniques and Tactics for Verifying Program Correctness",
at 3 pm in Julian 251 (should be relevant for this course)
-
Monday, February 7:
Homework
-
Wednesday, February 9:
Read Sections 2.3 and 2.4
-
Friday, February 11:
Read Sections 2.5-2.9
-
Monday, February 14:
Chapter 2 Homework
-
Friday, February 18:
Read Sections 3.1-3.6
-
Monday, February 21:
Read Sections 3.7-3.12
-
Wednesday, February 23:
Chapter 3 Homework
-
Friday, February 25:
Read Sections 5.1-5.7
-
Monday, February 28:
Read Sections 5.8-5.11
-
Wednesday, March 2:
Read Chapter 6
-
Friday, March 4:
Chapter 5 Homework
-
Monday, March 7:
Review for Exam 1 (Solutions)
-
Wednesday, March 9:
Exam 1: Chapters 1-3, 5-6
-
Friday, March 11:
No Class
-
Wednesday, March 16:
Read Sections 7.1-5
-
Friday, March 18:
Read Sections 7.7-10
-
Monday, March 28:
Chapter 7 Homework
DePauw University,
Computer Science Department,
Spring 2011
Maintained by Brian Howard
(bhoward@depauw.edu
).
Last updated