Lecture Slides |
|||||
Lecture |
Date |
First Title |
First Frame |
Download |
|
Lecture 26 |
Wed. 8 Dec. |
ISC Design |
Start presentation | M/S PPT | |
Lecture 25 |
Mon. 6 Dec. |
Implementing Finite-state machines |
Start presentation | M/S PPT | |
Lecture 24 |
Wed. 1 Dec. |
Finite-state machines, continued |
Start presentation | M/S PPT | |
Lecture 23 |
Mon. 29 Nov. |
State Machines |
Start presentation | M/S PPT | |
Lecture 22 |
Mon. 22 Nov. |
White-box complexity |
Start presentation | M/S PPT | |
Lecture 21 |
Wed. 17 Nov. |
Computational Complexity |
Start presentation | M/S PPT | |
Lecture 20 |
Mon. 15 Nov. |
Simpler Verification Examples |
Start presentation | M/S PPT | |
Lecture 19 |
Wed. 10 Nov. |
Bi-directional execution, Correctness |
Start presentation | M/S PPT | |
Lecture 18 |
Mon. 8 Nov. |
Prolog continued |
Start presentation | M/S PPT | |
Lecture 17 |
Wed. 3 Nov. |
Don't Cares, Prolog |
Start presentation | M/S PPT | |
Lecture 16 |
Mon. 1 Nov. |
Logic Simplification |
Start presentation | M/S PPT | |
Lecture 15 |
Wed. 27 Oct. |
Logic Synthesis |
Start presentation | M/S PPT | |
Lecture 14 |
Wed. 20 Oct. |
Logic |
Start presentation | M/S PPT | |
Lecture 13 |
Wed. 13 Oct. |
Parsing |
Start presentation | M/S PPT | |
Lecture 12 |
Mon. 11 Oct. |
Exceptions, Grammars | Start presentation | M/S PPT | |
Lecture 11 |
Wed. 6 Oct. |
Applets |
Start presentation | M/S PPT | |
Lecture 10 |
Mon. 4 Oct. |
Inheritance |
Start presentation | M/S PPT | |
Assignment 5 |
Mon. 4 Oct. |
Hints |
Start presentation | M/S PPT | |
Lecture 9 |
Wed. 30 Sept. |
Enumeration Caution |
Start presentation | M/S PPT | |
Lecture 8 |
Mon. 27 Sept. |
Queue Abstraction |
Start presentation | M/S PPT | |
Lecture 7 |
Wed. 22 Sept. |
R and S expressions |
Start presentation | M/S PPT | |
Lecture 6 |
Mon. 20 Sept. |
Imperative Programs |
Start presentation | M/S PPT | |
Lecture 5 |
Wed. 15 Sept. |
Sets, Relations, Graphs |
Start presentation | M/S PPT | |
Lecture 4 |
Mon. 13 Sept. |
Trees |
Start presentation | M/S PPT | |
Lecture 3 |
Wed. 8 Sept. |
Anonymous Functions |
Start presentation | M/S PPT | |
Lecture 2 |
Mon. 6 Sept. |
Partial Functions |
Start presentation | M/S PPT | |
Lecture 1 |
Wed. 2 Sept. |
Principles of CS |
Start presentation | M/S PPT | |