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