Funksjoner og sykt store mengder
Kj?re IN1150-student,
Den siste uken har vi sett p? funksjoner og p? mengdel?re og uendelighet. I morgen begir vi oss ut p? tillukninger og induktivt definerte mengder, som lar oss definere de fleste strukturene som brukes i alle mulige programmeringsspr?k p? en sv?rt presis og kontrollert m?te. Det lar oss definere funksjoner rekursivt, som er blant de vanligste og kraftigste metodene for ? uttrykke beregninger. Vi skal deretter f?lge disse strukturene videre i kapittel 11 og 12, hvor vi skal l?re oss at de er spesielt enkle ? vise egenskaper ved; med andre ord, de er enkle ? tenke p?!
Avlyst kafé fredag 20.2
P? grunn av sykdom m? dessverre logikkafé avlyses i morgen. Vi sees der fredag neste uke, for flere gode diskusjoner og hyggelig stemning!
?
Ukens n?tt
Dette er en stor bokstav, kuttet ut i papir og brettet én gang. Det er ikke en L. Hvilken bokstav er det?
?
Ha en fin slutt p? uka!
--
Med vennlig hilsen oss som underviser IN1150