calendar
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
calendar [2016/03/13 15:52] – franck | calendar [2016/03/30 02:27] (current) – franck | ||
---|---|---|---|
Line 163: | Line 163: | ||
//Title:// Computation Tree Logic\\ | //Title:// Computation Tree Logic\\ | ||
- | //Reading material:// pages ??-?? of the textbook and {{: | + | //Reading material:// pages 341-351 of the textbook and {{: |
//Slides:// {{: | //Slides:// {{: | ||
===== March 15 ===== | ===== March 15 ===== | ||
- | //Title:// \\ | + | // |
- | //Reading material:// pages ??-?? of the textbook\\ | + | //Reading material:// pages 373-379 of the textbook\\ |
//Slides:// {{: | //Slides:// {{: | ||
+ | //Code:// {{: | ||
===== March 17 ===== | ===== March 17 ===== | ||
Line 176: | Line 177: | ||
//Lab:// work on your project and quiz on Computation Tree Logic | //Lab:// work on your project and quiz on Computation Tree Logic | ||
+ | ===== March 21 ===== | ||
+ | //Title:// Software for Dependable Systems\\ | ||
+ | //Reading material:// [[http:// | ||
+ | //Slides:// {{: | ||
+ | ===== March 22 ===== | ||
+ | |||
+ | Course evaluations (please bring a pencil) | ||
+ | |||
+ | //Title:// Structured Proofs\\ | ||
+ | //Reading material:// [[http:// | ||
+ | //Slides:// {{: | ||
+ | |||
+ | ===== March 24 ===== | ||
+ | |||
+ | Lab cancelled due to weather. | ||
+ | |||
+ | ===== March 28 ===== | ||
+ | |||
+ | Quiz | ||
+ | |||
+ | //Title:// Binary Decision Diagrams\\ | ||
+ | //Reading material:// pages 382-386, 392-405 of the textbook\\ | ||
+ | //Slides:// {{: | ||
+ | |||
+ | ===== March 29 ===== | ||
+ | |||
+ | //Title:// Binary Decision Diagrams\\ | ||
+ | //Reading material:// pages 387-391 of the textbook\\ | ||
+ | //Slides:// {{: | ||
+ | |||
+ | ===== March 31 ===== | ||
+ | |||
+ | //Lab:// work on your project and quiz | ||
+ | |||
+ | ===== April 4 ===== | ||
+ | |||
+ | Make up lab at 14:30. | ||
+ | |||
+ | ===== April 11 ===== | ||
+ | |||
+ | Final exam at 14:00-16:00 in ACE 006 | ||
+ | |||
+ | ===== April 15 ===== | ||
+ | |||
+ | Last day to hand in your project | ||
calendar.1457884375.txt.gz · Last modified: 2016/03/13 15:52 by franck