En uke full av formler!

Kjære IN1150-student,

Vi runder nå av introduksjonen av utsagnslogikk, med frist for innlevering 2 i dag. De fleste av dere skal også ha fått tilbakemelding på innlevering 1.

I morgen begynner vi å se på beviser, som er alfa og omega i logikk og matematikk. Vi skal også lære om relasjoner, som bygger på mengdelære, og legger grunnlaget for mange av tingene vi skal møte på senere.

Logikkafé

Vi minner om at det er logikkafé hver fredag etter forelesning, kl 12-14 i escape. Det var veldig hyggelig forrige uke, og vi håper å bli bedre kjent med dere her gjennom semesteret. I morgen tilbyr vi rooibos, en sør-afrikansk urtete uten koffein.

Ukens nøtt

Du er plassert i en 50m × 50m × 50m-boks som står på fire 100 meter høye søyler. I taket inne i boksen henger det to tau som begge er nøyaktig 50 meter lange, og de er murt fast i taket med nøyaktig én meters mellomrom. Boksen har kun én åpning, et lite vindu nederst på den ene veggen, hvor det også er montert en liten krok. Du har kniv tilgjengelig, men ingen klær eller andre hjelpemidler. Det lengste fallet du er i stand til å overlever er på 10 meter. Hvordan kan du klare å komme deg helskinnet ned på bakken?

--

Vi sees i forelesninger, gruppetimer, på logikkafé og discourse!

Ha en god slutt på uka!

Med vennlig hilsen oss som underviser IN1150