Beskjeder
Dear all,
There are updates to the planning the next couple of weeks:
Tuesday Nov 12: SAT solving with Joachim Kristensen
Friday Nov 15: Exercises are canceled
Tuesday Nov 19: Repetition with Henrik
Friday Nov 22: Repetition with Henrik + Q/A with all
Dear all,
We will have to move the Q/A session about the to Friday Nov 22 at 9:00.
It is in Datastue Assembler.
This means that there will be no lecture at on Tuesday Nov 19.
Dear all,
The last lecture of the course on SAT solvers will be online. Please use the following link:
https://uio.zoom.us/j/65436175314?pwd=Y1grY2JmTGd0UForaldkc2xiS2tiUT09
Meeting ID: 654 3617 5314
Passcode: 041009
Dear all,
As mentioned, I have made a form, where you can add your name/id to the exam list.
I have included Tue Dec 10, but expect that we only need Mon Dec 09 and Wed Dec 11.
https://nettskjema.no/a/379199
For those of you that have exams on the three above days, there is a field where you can write the course numbers and exam date of your other courses. Then we will find a time.
There is also a field for preferences. But we cannot give any guarantees.
Dear all,
We are starting to plan the oral exam. S? we need to find a couple of dates for this.
Please, fill the following Netskjema to indicate when you can participate. We cannot guarantee any specific dates.
Dear all,
I have gotten an overview of the assignments hand-in dates that will be as following:
Assignment 1: 27th September
Assignment 2: 25th October
Assignment 3: 8th November
The first assignment is not available on the Github page. After today you will be able to start solving the first part.
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.
There will be three Assignments (Obliger) during the semester. These must be passed to quality for the exam.
The exam will be an oral test.
...