From cfd6aac5d77d88a1ebbbb85f603680d3524969c4 Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Thu, 25 Jan 2024 10:46:17 -0600 Subject: [PATCH] Update index.md --- teaching/2024/cs522/index.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/teaching/2024/cs522/index.md b/teaching/2024/cs522/index.md index b41720d..89d28a0 100644 --- a/teaching/2024/cs522/index.md +++ b/teaching/2024/cs522/index.md @@ -51,3 +51,15 @@ need* and more topics will be added. - [slides](CS522-Spring-2024-Maude.pdf) - recommended only for a quick look - [Book material](CS522-Spring-2024-Maude-book.pdf) - recommended + +- ### HW1 (due Thursday, September 16) {#hw1} + + The following exercises are from the book material above. Do them only in + Maude (that is, *not* on paper) by modifying [the provided Maude code for + HW1](CS522-Spring-2024-Maude-HW1.zip): Exercise 56 (page 137); Exercise 70 + (page 155). + + In case you are not familiar with Maude, you are encouraged to do the + following exercises to warm-up (but please do not include them as part of + your HW1 submission): Exercise 30; Exercise 32; Exercise 33; Exercise 35; + Exercise 36. All at pages 80/81.