Work Plan for Week 4
Material
| name | file name | short version | note |
|---|---|---|---|
| Total and Partial Maps | Maps[.html|.v] |  download | |
| Properties of Relations | Rel[.html|.v] | self-study | |
|
Schedule
| date | time | location | type |
|---|---|---|---|
| Monday, 22 September | 10:45 - 12:45 | CEG - Hall D | lecture |
| Tuesday, 23 September | 8:45 - 10:45 | CEG - Hall D | lecture |
| Thursday, 25 September | 13:45 - 15:45 | Pulse - Hall 3 & 6 | problem session |
Problem Session
| file | exercises |
|---|---|
Maps[.html|.v] | all exercises |
Rel[.html|.v] | all exercises except le_Sn_n_inf and rtc_rsc_coincide |
The session on Monday will be about solving a series of exercises on regular expressions, from Chapter IndProp of the lecture material. The session on Tuesday will be about Chapters Maps and Imp.
If you need help, make a request during the problem session in the Queue or reach out on Mattermost.