Beskjeder

Publisert 22. nov. 2017 14:48

Eksamenssettet skal besvares digitalt, med unntak av noen enkeltoppgaver skal besvares med penn og papir. Se instruksjonsvideo:

http://www.uio.no/studier/eksamen/inspera-opplering/video/digital-haandtegning-instruksjon-student .

 

Arkene du bruker til å besvare penn- og papiroppgavene, er spesialtilpassede "skisseark" som blir delt ut i eksamenslokalet. Du leverer inn skissearkene på vanlig måte etter endt eksamen. Arkene blir deretter skannet av eksamensvaktene og lastet opp til din digitale besvarelse. Det er derfor viktig at du fyller ut skissearkene på riktig måte. Skissearkene må fylles ut med blå eller sort kulepenn (ta med dette selv). Det er ikke anledning til å bruke blyant eller penn med annen farge. Se "Instruksjon for digital håndtegning"...

Publisert 7. nov. 2017 13:25

Part 1 : 

Exercises combining some of the curriculum about types and subtypes from Eyvind's lectures with 
some SML stuff and of course Prolog.

Some of these exercises are probably a little hard and goes a bit outside the normal exam exercises for Prolog in this course.

Check out old exams to see the normal difficulty of prolog exercises on the exams.

Link : Prolog exercise

 

Part 2 : 

Question 3 (a,b,c) in Exam 2015

There is an error in 3c Exam2015. The 3 and 5 value in the heap should be switched, so that the heap is actually a heap.

There will be a detailed solution available after a week or so.

Publisert 31. okt. 2017 14:47

In class, the solution to last year's exam was requested. Here it is :)

Publisert 29. sep. 2017 17:07

Clarification:

In the SML oblig 2 it says that you are not allowed to use assignments.

That means that you can't use mutable references (destructive updates) and assign new values to these.

Like

val mutVar = ref 1;

mutVar := 2;

 

You are of course allowed to use variable bindings as in

val x = 1;

 

or

 

let val (a,b) in a+b end;

Publisert 22. sep. 2017 12:30

Mandatory exercise 2 is now out, with deadline on October 17. The task is to implement the same interpreter as you did in oblig 1, but this time using functional programming with SML. Download it here.

Publisert 11. sep. 2017 19:23

Gruppetimen mandag 18. september er avlyst pga gruppelæreren er bortreist.
Det er muligheter for studentene å gå på en av de andre gruppetimene, tirsdag eller fredag. 

Publisert 29. aug. 2017 16:26

The first oblig is out, download it here. Deadline September 19th.

Publisert 29. aug. 2017 15:05

There were some requests last time for screencasts, so I have tried to make some for today's lecture. The quality leaves something to be desired, but hey, I've never done this before! :) There will be links from the lecture plan as soon as the uploads finish. Hope this helps those of you that are not able to attend the lectures. I would still strongly urge you to be at the lectures though, since part of the learning process is the interactivity that gets lost in these captures.

Eyvind.

Publisert 20. aug. 2017 19:18

Hi everyone, and welcome to the first lecture! On Tuesday, we will begin with a short intro to the course, and what you can expect to learn. Then, we'll move on to the subject matter proper, and talk about syntax and semantics of programming languages. 

Feel free to ask any questions you might have about the course. 

See you soon!