User Tools
courses:sdm2024:main
Differences
This shows you the differences between two versions of the page.
|
courses:sdm2024:main [2024/05/22 13:01] tsay2 [Announcements] |
courses:sdm2024:main [2024/06/19 12:01] (current) tsay2 [Announcements] |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== Announcements ===== | ===== Announcements ===== | ||
| + | * 06/15: grade report available; contact the instructor by 2PM 06/17 (Monday) if you have any question or request. | ||
| + | * 06/05: the {{courses:sdm2024:sdm2024final.pdf|final exam}}; good luck! | ||
| + | * 06/05: suggested solutions to {{courses:sdm2024:hw5_s.pdf|HW#5}} available. | ||
| + | * 05/29: {{courses:sdm2024:hw5.pdf|HW#5}} due 11:59PM 06/04. | ||
| + | * 05/06: review forms for the final presentations: {{courses:sdm2024:Presentations_final.docx|Evaluation by Individual Reviewer}} and {{courses:sdm2024:PeerReview.pdf|In-Group Peer Evaluation}}. | ||
| * 05/22: slides for Formal Logic, Hoare Logic, and Frama-C and ACSL available. | * 05/22: slides for Formal Logic, Hoare Logic, and Frama-C and ACSL available. | ||
| * 05/14: {{courses:sdm2024:sdm2024grade_termproject.pdf|current scores}} of term project available. | * 05/14: {{courses:sdm2024:sdm2024grade_termproject.pdf|current scores}} of term project available. | ||
courses/sdm2024/main.1716354074.txt.gz ยท Last modified: 2024/05/22 13:01 by tsay2
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
