Fall 2002, CS173, Schedule and Notes


NOTE:  This schedule is approximate, and should be regarded as tentative until the dates actually pass.  I expect to continuously update this page throughout the semester.

Click on the individual lecture topic for the notes.

DISCLAIMER:  I have decided to make my class notes available online.  Please note that these are neither an excuse not to attend class, nor are they an excuse not to take notes of your own during class.  These notes are mostly my notes about topics to cover in class.  They are not complete, and do not include evenrything which is mentioned in class.








September
Tu
3
Course Overview
AU Chap 1


Th
5
Relations
AU Chap 8
Project 1

Tu
10
Relations



Th
12
Relations



Tu
17
Relations



Th
19
C

P1, due 9-23

Tu
24
C

Project 2

Th
26
C


October
Tu
1
Finite Automata
AU Chap 10
P2, due 9-30

Th
3
Finite Automata

Project 3

Tu
8
Finite Automata



Th
10
Finite Automata



Tu
15
Unix Tools



Th
17
Unix Tools



Tu
22
Midterm review

P3 due 10-21

Th
24
Midterm  (ALM out of town)



Tu
29
CFG
AU Chap 11
Project 4

Th
31
CFG


November
Tu
5
CFG



Th
7
CFG (and review of midterm)
AU Chap 9


Tu
12
Graphs

Project 5

Th
14
Graphs



Tu
19
Graphs (max flow graphs)



Th
21
Propositional Logic
AU Chap 12


Tu
26
Propositional Logic



Th
28
Happy Thanksgiving


December
Tu
3
Propositional Logic
AU Chap 13


Th
5
Predicate Logic
AU Chap 14
Project 6

Tu
10
Predicate Logic



Th
12
Predicate Logic



Wed
18
7:15pm FINAL EXAM