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