Beskjeder
The grading guidelines used for the exam are now published here.
Of 25 candidates, 9 got a B, and 7 an A. Very well done ?
It was great to see that so many of you really understood a lot of this course, and I hope you enjoyed it!
The exam and model solutions are published here. The grading guidelines will be published after we are done with the grading.
As previously announced (and required on the course page) you may not bring any printed or written material to the exam.
However, the exam includes a number of slides with definitions of syntax, semantics, and calculi for various logics.
You can see the provided slides here.
Tomorrow, Wed 27. November, there will be a repetition lecture.
If there is anything you would like me to talk about, please let me know as soon as possible (martingi (at) ifi.uio.no) so I have some time to prepare.
The group session on Monday 25. of November is cancelled.
There will probably be a session sometime in the beginning of December instead for the SAT-solver competition.
Oblig 2 is now published in devilry.
We have moved the deadline by two days to Tuesday 19.11.
Since this is not entirely clear from the course web page, I would like to point out that the exam questions will be provided in English only.
Since all lectures and exercises, as well as the textbook are English, and there is a certain amount of technical vocabulary, it would make little sense to provide a Norwegian exam.
You are however allowed to answer in Norwegian as well as in English. Or Swedish or Danish actually.
The exercises for the second obligatory assignment is now published.
Note that the deadline for the first attempt is 17th of November, which is in one week from today.
Exercise O1.2 a) refers to “Definition 28 of Section 3.2” for the sequent calculus. This is a typos, and Ben-Ari contains no such definition.
What is meant is the propositional LK calculus presented in Lecture 2, slides 34 and 35.
In Ben-Ari, the calculus is defined (with a slightly different notation) in Def 3.51, with rules presented in Fig. 3.2.
The first mandatory exercise is published with deadline 23rd of October. The exercise sheet can be found by clicking the exercises link in the left panel and downloading oblig1.pdf.
Note that the relevant material for exercise O1.1 c) with regards to the second formula (F2) will be in the lecture next week. All of the other exercises you should be able to solve with the material gone through in previous lectures, but you might want to wait with F2 in O1.1 c) until after the next lecture.
Solutions for this week's exercises 3.2 a) and 3.3.1 has been uploaded and can be found in the exercises folder in "solutions3.pdf"
Piazza for the course: https://piazza.com/uio.no/fall2019/in3070
It was nice to see so many students at the lecture yesterday ?
The lecture slides can now be downloaded.
Tech support has now fixed the problem with the AV equipment, so future lectures will be recorded. Note that I will probably use the white board to a certain extent, so not everything will come across.
A poll at the lecture yesterday showed that around 25% of the students present had collisions with the Tuesday morning slot. Lectures will therefore be mainly on Wednesdays 14:15–16:00. I might use the Tuesday slot occasionally if extra time is needed.
The lecture tomorrow (Tuesday 20 August) is cancelled.
We start with the introduction lecture on Wed 21 August.
Since there are no exercises to go with the intro lecture, we also cancel the first group session on Monday 26 August. Group sessions start on Monday 2 September.
The course will use the textbook ?Mathematical Logic for Computer Science? by Mordechai Ben-Ari.
From the UiO network, you can access this book free of charge here:
https://link.springer.com/book/10.1007%2F978-1-4471-4129-7