Semesterside for INF3170 - Vår 2011

Beskjeder

Fikk et varsel om at det er en trykkfeil i obligen i del 3 Aksiomer, teorier og modeller:

Der defineres axiomet AT = for alle x, y, z(xGy ^ yGz -> xGy)

Men det skal såklart være AT = for alle x, y, z(xGy ^ yGz -> xGz)!

2. mai 2011 18:52

Da er obligen lagt ut. Leveres fredag den 13. i gruppetimen eller i administrasjonen. Spør gjerne per epost om noe er uklart, om du mistenker trykkfeil e.l.

29. apr. 2011 15:34

Det blir lagt ut to …

Det blir lagt ut to oppgavesett til førskommende fredag etter forelesning i dag, det første er mest en liste med definisjoner og øvinger fra forelesningen den 12. april.

Som vi kom fram til under forelesningen den 12. så bli obligen lagt ut på fredag, og dere får to uker på den.

26. apr. 2011 14:04

Se flere beskjeder