This shows you the differences between two versions of the page.
courses:sdm2020:main [2020/06/24 12:21] tsay2 [Syllabus/Schedule (with links to slides/notes)] |
courses:sdm2020:main [2020/07/26 11:38] (current) tsay2 [Announcements] |
||
---|---|---|---|
Line 3: | Line 3: | ||
===== Announcements ===== | ===== Announcements ===== | ||
+ | * 07/03: grade report available; contact the instructor Yih-Kuen Tsay by 5PM 07/04 if you have any question or request. | ||
* 06/24: slides for Hoare Logic available. | * 06/24: slides for Hoare Logic available. | ||
* 06/03: slides for Logic and OCL available. | * 06/03: slides for Logic and OCL available. |