Formalization of C0 in Minitests

Hello!

Do we need to learn the formlization of C0(b) by heart or are we going to get a cheat sheet with the rules for test/exam?

Hey,
you usually get a refrence unlike in Programming 1. At least, that’s how it was done the last few semesters.

Best,
Tim

Yes, you will be given the inference rules for the semantics of C0 in the tests as well as in the exam.

1 Like