search

prosyslab-classroom / cs424-program-reasoning

45 stars 19 forks source link

[Announcement] Setup & Homework 0 #138

Closed goodtaeeun closed 4 months ago

goodtaeeun commented 1 year ago

Hi, everyone. I am Tae Eun, the TA of the course CS492 for this semester.

Setup

Here are some things you should set up for this course.

HW0

Homework 0 includes two programming exercises and one writing.

Here are the GitHub classroom links for each assignment:

Note that HW0 is not mandatory, but is intended to help you get started with the course smoothly.

Homework 0-1 & 0-2

Homework 0-1 and 0-2 are programming exercises for those unfamiliar with OCaml and Git.

Feel free to skip these assignments if you are already used to both.

There are no deadlines because we won't grade them.

Homework 0-3

Homework 0-3 is a writing assignment.

Watch the video(KR, EN) explaining undecidability, and write a critique about it.

You should submit it at Gradescope in PDF format.

This assignment is due 9.8(Fri). As mentioned above, this is not graded. However, if you are aiming for a reward, be sure to submit it before the due date.

If you have any questions, feel free to ask the TA.

Thanks.

goodtaeeun commented 1 year ago

FYI, a typo is edited. 9/9 -> 9/8

yeonhee-ryou commented 1 year ago

'+ KCLOUD VM will be available next week (after course registration period)

08kmc09 commented 1 year ago

I didn’t receive any invitation email from it. Did I miss it? There was no e-mail with gradescope from Monday (8/28) ~ to Wednesday (8/30)

GetRusty commented 1 year ago

In the pdf file of homework 0-2, Problem 13, we are asked to write a function about an AVL Tree. But I don't see any AVL-related source or test code in my homework repository, nor in the dune file. Am I missing something?

goodtaeeun commented 1 year ago

I didn’t receive any invitation email from it. Did I miss it? There was no e-mail with gradescope from Monday (8/28) ~ to Wednesday (8/30)

@08kmc09 I have sent the invitation email again. Please let me know if you have not received the email this time.

goodtaeeun commented 1 year ago

In the pdf file of homework 0-2, Problem 13, we are asked to write a function about an AVL Tree. But I don't see any AVL-related source or test code in my homework repository, nor in the dune file. Am I missing something?

@GetRusty You can ignore Problem 13. Sorry for the confusion.

uk-jeong commented 1 year ago

@goodtaeeun I have not received the Gradescope invitation email yet. Should I contact separately?

goodtaeeun commented 1 year ago

@uk-jeong I am sorry. One student was accidentally omitted from the list, and it was you. I have sent you the invitation right now. Please feel free to inform me in case of further issues.