Question $1$

Based on this description, we define the following types:

$[$STUDENT$,$COURSE,SECTION$]$

Use the $Z$ notation to give the pre$-$ and post$-$conditions of the operation

DropStudentFromCourse used to make a given student drop from a given course.

$($Give ALL the pre$-$ and post$-$conditions, even if they duplicate the invariants$)$

$($ i give you an example of RegisterStudentInCourse i want DropStudentFromCourse $)$