Differences

This shows you the differences between two versions of the page.

--- calendar [2016/03/23 13:43] – franck
+++ calendar [2016/03/30 02:27] (current) – franck
@@ Line 188: / Line 188: @@
 //Title:// Structured Proofs\\
-//Reading material:// \\
+//Reading material:// [[http://dx.doi.org.ezproxy.library.yorku.ca/10.1007/s11784-012-0071-6|How to write a 21st century proof]]\\
 //Slides:// {{:public:lecture22.pdf|lecture22.pdf}}
 ===== March 24 =====
-//Lab:// work on your project and quiz on ??
+Lab cancelled due to weather.
+===== March 28 =====
+Quiz
+//Title:// Binary Decision Diagrams\\
+//Reading material:// pages 382-386, 392-405 of the textbook\\
+//Slides:// {{:public:lecture23.pdf|lecture23.pdf}}
+===== March 29 =====
+//Title:// Binary Decision Diagrams\\
+//Reading material:// pages 387-391 of the textbook\\
+//Slides:// {{:public:lecture24.pdf|lecture24.pdf}}
+===== 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