Beskjeder
Hi all,
There are a few updates to the exam plan. But the one that is now on Github is the final.?
https://github.uio.no/IN3130/h25/blob/main/exam-information.md
You can now find the exam questions on our github page.?
On Wednesday we will talk about what will happen at the oral defence.?
You are welcome to ask questions about the course material, the defence and similar.
?
I unfortunately have to cancel the lecture tomorrow. I'm sorry for the late the announcement.
The material (SAT solvers) will be added to the lecture in two weeks. There is enough time to have both the introduction to exam questions + Q/A and the introduction to SAT solvers.
Everyone that is qualified for the exam can of course take it. So if you are not on the list yet, we will find a time for you.
You are welcome to already contact me now (michakt@ifi.uio.no) if you are missing.
Dear all,
You can now find some information and a tentative plan for the exam:
https://github.uio.no/IN3130/h25/blob/main/exam-information.md
Note, that it is a tentative plan, meaning that we can compact the schedule of each day (move you time a bit) in event that students are not signed up for the exam. But you will not be moved to other days.
Please fill the below Nettskjema no later than October 19. Then I will make an overall plan the following week.
https://nettskjema.no/a/in3130-exam
If you don't I will just find a time for you.
Mvh.
Michael
Oblig 2 can be found here:
https://github.uio.no/IN3130/h25/tree/main/obligs/Oblig2
Hi all,
We plan to have the exam in Week 49 from December 1 to 5. As we expect about 40 students, it will be over three to four days.
Please fill the below Nettskjema no later than October 19. Then I will make an overall plan the following week.
https://nettskjema.no/a/in3130-exam
Dear all,
You can now find Oblig 1 a bit lower on the front course page or here as a direct link:
https://github.uio.no/IN3130/h25/tree/main/obligs/Oblig1
The purpose of this course is to give you an understanding of some of the hardest problems that we know about in computer science (even what we cannot solve) and get a feeling for how we can reasonable try to solve some versions of them. Throughout the course you will work both with some formal computer models (though we will not be too formal) and practical implementation of relevant algorithms.
The course will have weekly lectures and exercises. The lectures will mainly be held by me (Michael Kirkedal Thomsen) and Petter Kristensen (external lecture from FFI), but there will also be some guest lectures through the course.
For the exercises, you will this year be good hands with Henrik Brunvatne Olafsen and Lars N?vik.
Material of the course will be notes and excerpts from books. You can find links to these in the schedule.
There will be three Assignments (Obliger) during the semester. These must be passed to quality for the exam...