If any of you for unexpected reasons need a short (up to 3-day) extension to the deadline for the assignment, then use the following Nettskjema:
For longer extension contact the administration.
In contrast to the original plan, Petter it not available to teach on Wednesday. Instead, I will tell you about undecidability. That will be fun :)
The frist assignment is ready for you at /studier/emner/matnat/ifi/IN3130/h22/assignments/
Mathias will be happy to answer questions about it today, after you have made your exercises :)
You can start the first couple of tasks, but the final one, I will cover material on the following week.
Department of Informatics