Mandatory Exercises 1_澳门葡京手机版app下载

martingi
2021-10-05T11:07:57.792Z
type:structured-message
www.uio.no

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.