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
/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
/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