Messages

Henrik and I will finish the grading before Christmas.

The exam questions are here and the answers and grading guidelines (will be updated later) are here.

Important information from the exam team: If you are using the Google Chrome browser and have added the "Tex All The Things" extension (eg to use Padlet), you must turn off this extension during the exam. If the extension is turned on, the task text will not be displayed correctly.

Good luck with the exam ?

Tomorrow¡¯s lecturer, Egor Kostylev, is not feeling well. Therefore

1. instead of a lecture, you are asked to watch the recording from last year.
2. Egor will be available on Zoom during the lecture time slot to answer questions and discuss:

The Zoom meeting is linked from the time table.

The second mandatory exercise is published with deadline 2nd of November. The exercise sheet can be found by clicking the exercises link in the left panel and downloading oblig2.pdf, or following the link above.

Use devilry to submit your answer.  If you cannot see oblig2 in devilry, please let us know as soon as possible, so we can register your properly.

The first mandatory exercise is published with deadline 19th of October. The exercise sheet can be found by clicking the exercises link in the left panel and downloading oblig1.pdf, or following the link above.

Note that the relevant material for exercise O1.1 b) with regards to the second formula (F₂) will be in the lecture next week (first-order resolution calculus). You should be able to solve all of the other exercises with the material gone through in previous lectures, but you might want to wait with F₂ in O1.1 b) until after the next lecture.

Use devilry to submit your answer.  If you cannot see oblig1 in devilry, please let us know as soon as possible, so we can register your properly.

For the next 5 weeks, lectures will given by Martin Giese.  We will use the ¡®standard¡¯ timing, 10:15¨C12:00.

See you all next week!

The conclusion of the voting is that lectures will be Tuesdays, starting 10:30. The break will be a bit shorter, and the lecture will extend into the break.

Group sessions will be on Fridays 14:15¨C16:00, starting tomorrow, 27 August.  Zoom link: https://uio.zoom.us/j/7835019196

One of the lecturers has to teach a course at another school on Tuesday mornings.  This means he can¡¯t make it to ifi in time for a 10:15 lecture.  So we have three possibilities:

1. Lectures are on Tuesday mornings, but start about 15 minutes later, the break is shortened, and the lecture goes until about 12:10.
2. Lectures are on Tuesday afternoons 14:15-16:00, in the time slot of the group sessions.
3. Lectures are moved to the group session slot on Fridays, 14:15-16:00.

Please answer what works for you in this nettskjema