Bevis og relasjoner
Kjære IN1150-student,
Denne uken har vi avsluttet kapitlene om utsagnslogikk, og rettet blikket mot bevisføring og relasjoner. Bevisføring er noe vi skal øve på i alle de kommende kapitlene, og relasjoner vil dukke opp i mange definisjoner fremover.
Forelesning 14:35 på mandag
Forelesningen på mandag begynner 14:35, altså 20 minutter etter normalt.
Discourse
https://astro-discourse.uio.no/c/in1150-24v
Vi vil minne deg på at Discourse er et godt sted for å stille spørsmål. Det er også mulig å stille spørsmål anonymt.
De fleste av oss som underviser IN1150 har fått spørsmål om hvordan man lager sannhetsverditabeller i LaTeX denne uken; dette er et godt eksempel på et spørsmål som burde blitt stilt på Discourse slik at flere få utbytte av svarene som gis!
Innleveringsoppgaver
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v24/innleveringer/
Det er en nedgang i antall som leverer frivillige innleveringsoppgaver. Å gjøre innleveringsoppgavene er ikke tilstrekkelig for å få et godt resultat i kurset. Det vil si at vi forventer at du legger mer arbeid i kurset enn kun innleveringsoppgavene.
Innleveringsoppgavene er der for å hjelpe deg jobbe jevnt, og for å gi deg et inntrykk av din egen progresjon. Vi tror du gjør lurt i benytte deg av det vi anser som en helt essensiell del av undervisningstilbudet.
Gruppetimer
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v24/grupper/
Det er god kapasitet på alle gruppetimer (med unntak av gruppe 9). Du er hjertelig velkommen til å gå på så mange gruppetimer du ønsker!
Ukas nøtt
En liten gjeng med studenter løser Project Euler (https://projecteuler.net/) oppgaver, og har satt opp en ledertavle på Bliss. Dessverre har ledertavlen sporløst forsvunnet! De har blitt enige om følgende fakta om deres relative plasseringer på ledertavlen sist den ble observert:
- Ingen har løst like mange oppgaver
- Randi har løst flere oppgaver enn Truls
- Iver er plassert et sted mellom Silje og Tonje
- Noor har løst flere oppgaver enn Alex
- Ida og Vanja er plassert ved siden av hverandre
- Ida og Tonje er plassert ved siden av hverandre
- Noor ligger nærmere Truls enn Vanja i plasering
- Tonje har løst flere oppgaver enn Iver
- Alex har løst flere oppgaver enn Randi
- Det syv stykker plassert mellom Truls og Vanja
Hjelp dem med å rekonstruere plasseringene på ledertavlen fra lavest til høyest.
God helg!
--Med vennlig hilsen oss som underviser IN1150