Beskjeder - Side 2

Publisert 6. feb. 2012 15:50

Det blir gruppetime i morgen, Tirsdag, 1215-1400.

Publisert 2. feb. 2012 14:23

Ukeoppgave 3 lagt ut. Det jobbes med ? f? undervisningsplanen til ? se ut som folk. Pensum for tiden er Avigad kap 3, van Dalen opp til men ikke med 1.4, og Enderton.

Publisert 30. jan. 2012 20:06

Vi har alts? f?tt gruppel?rer, han heter Peter og har brukernavn peterbb.

Publisert 25. jan. 2012 20:44

Tillegg til pensum: Dette er Enderton som Avigad snakker om. Dette er pensum for induksjon og rekursjon, fram til side 30.

Publisert 25. jan. 2012 14:35

Det er lys i gruppel?rertunnelen, men det blir ingen gruppetime i morgen torsdag. F?rste gruppetime neste uke. Jeg legger ut ukeoppgaver2 i kveld eller i morgen.

Publisert 19. jan. 2012 17:20

Fortsatt ingen gruppel?rer. Jeg har lagt ut Ukeoppgave 1 for de som vil trene litt mengdel?re. Den inneholder ingen obligoppgaver.

Publisert 18. jan. 2012 15:43

Vi har fortsatt ikke f?tt tildelt gruppel?rer, og jeg legger ikke ut ukeoppgavesett f?r vi f?r det. De som gjerne vil trene p? mengdel?re kan i stedet kikke p? ukeoppgave 1 og 2 fra i fjor, de ligger alts? p? kursida fra v?ren 2011. Har man sp?rsm?l s? svarer jeg p? epost.

Publisert 16. jan. 2012 16:12

Kan de som hadde eksamenskr?sj sende meg en beskjed p? epost henrikforssell at gmail.com, s? jeg vet hvem dere er, og spesielt om dere er oppmeldt i kurset (bare s? jeg vet n?r jeg skal snakke med adm).

Publisert 5. jan. 2012 15:52

F?rste forelesning mandag 16. januar i OJD 2438 "Logo".

Pensumboka er van Dalens "Logic and Structure", den ser slik ut.

Vi kommer til ? benytte oss av Jeremy Avigads forelesningsnotater, de finner du her