Beskjeder

Kjære IN1150-student,

Vi håper at du hadde en god eksamensopplevelse, og at du føler du fikk vise mye av det du har lært!

En PDF-versjon av eksamenssettet er publisert her:

• https://www-int.uio.no/studier/emner/matnat/ifi/IN1150/tidligere-eksamensoppgaver/eksamen_in1150_2024v_bokmaal.pdf

Et foreløpig løsningsforslag er publisert her:

• https://www-int.uio.no/studier/emner/matnat/ifi/IN1150/tidligere-eksamensoppgaver/eksamen_in1150_2024v_bokmaal_losn_temp.pdf

Sensuren ferdigstilles i løpet av juni.

Vi vil igjen takke deg for følget. Vi håper du har tenkt tanke...

Kjære IN1150-student,

Vi vil takke deg for følget dette semesteret. Vi håper du har lært mye som du kan ta med deg videre i studie, arbeid og livet. Det har vært et privilegium å få innvie deg inn i denne vakre lille verden som utgjør Logiske Metoder. Vi håper du har trivdes her.

I denne beskjeden kommer det litt praktisk informasjon om eksamen, noen tips, og så klart en logisk nøtt.

Kjære IN1150-student,

Nå er semesteret snart over, og vi er glade for å kunne invitere deg, i god tradisjon, til en avslutningsfest!

Kjære IN1150-student,

Nå er det kun én undervisningsuke igjen. Vi håper å se mange på fellestimen på fredag, og at dere benytter dere av gruppetimene denne uken. Uken etter blir det en avslutningsfest hvor vi håper å treffe alle dere. Der blir det tips og triks for eksamen, faglig lek, premieutdeling for de ulike konkurransene og så videre. Mer info kommer til uken!

Kjære IN1150-student,

Dagens fellestime ble brukt på å løse flere oppgaver fra fjorårets eksamen:

https://www-int.uio.no/studier/emner/matnat/ifi/IN1150/tidligere-eksamensoppgaver/eksamen_in1150_2023v_bokmaal.pdf

Vi vil fortsette å løse eksamensoppgaver på de kommende repetisjonstimene.

Kjære IN1150-student,

Nå går vi inn i siste ordnære undervisningsuke med nytt stoff. Vi skal snakke om formelle språk og grammatikker, som er kraftige verktøy for å beskrive mengder av strenger helt presist. I tillegg ser vi på naturlig deduksjon som handler om å se på bevis som en syntaktisk struktur, hvor gyldigheten av beviset det uttrykker kan bestemmes helt mekanisk. Det er en fin avslutning av det vi håper har vært en vakker reise.

Ukas nøtt

I følgende plantegning av et lite hus

kan du tegne en kontinuerlig linje som går gjennom hver dør nøyaktig én gang?

Hva hvis du fjerner en dør?

I hvert fall vil du etter mandag vite nøyaktig hva en "algebra" er. Vi kikker også litt mer på kombinatorikken da og løser noen oppgaver. 

Café avlyst mandag

 Det blir dessverre ikke IN1150-café på mandag.

Oblig

Gratulerer med levert oblig i dag/ lykke til med levering av oblig i kveld!

Ukas nøtt

Jabba Hutten har fanget 10 medlemmer av en rivaliserende gjeng som var nede i vinkjelleren hans og prøvde å forgifte vinen han skal servere på festen han skal ha om 24 timer. Dessverre rakk de å forgifte nøyaktig én flaske, og han vet ikke hvilken. Det er 1000 flasker vin i kjelleren. Giften er svært kraftig, selv blandet ut én til en million vil den forgiftede vinen være dødelig. Døden inntreffer nøyaktig 24 timer etter inntak, og det er ing...

Den kommende uken avslutter vi arbeidet med førsteordens logikk, og med stålkontroll på førsteordens logikk kan du kalle deg selv en logiker!

Kjære IN1150-student,

Nå er vi over halvveis i kurset, og du er antageligvis klar for en vel fortjent påskeferie.

Kjære IN1150-student,

På fredag la vi ut en beskjed med uriktig informasjon. Spesifikt skrev vi at vi ville introdusere nytt stoff på mandagstimene i stedet; det stemmer ikke. Det beklager vi. Her er det som skulle stått.

Kjære IN1150-student,

Vi vet at de aller fleste som tar IN1150 også tar IN1010, hvor det er midtveiseksamen om såvidt over en uke. Vi setter alle undervisningstilbud i IN1150 på pause denne uken (det inkluderer gruppetimer), slik at du skal kunne vie din fulle oppmerksomhet til IN1010. Vi har også avlyst forelesningen som er på samme dag som midtveiseksamen (18. mars).

Kjære IN1150-student,

Denne uken har vi fortsatt å dykke ned i induktivt definerte mengder og rekursjon, som har en naturlig fortsettelse i induksjonsbevis. Dette blir temaet for neste uke.

Vi håper dere har fått utbytte av en uke med mulighet til å repetere litt og hente seg inn. Til uken går vi løs på mer induksjon og rekursjon, og avslutter uken med en introduksjon til induksjonsbevis.

Kjære IN1150-student,

Denne uken har vi hatt om funksjoner og litt mer om mengdelære og uendelighet. I dag introduserte vi 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 følge disse strukturene videre, der vi skal lære oss at de er spesielt enkle å vise egenskaper ved; med andre ord, de er enkle å tenke på!

Dette temaet skal få summe helt bakerst i hodet og la seg vente på en uke til refleksjon og repetisjon. I den kommende uken er det ikke noe nytt pensum, og heller ingen innleveringsoppgave. Bruk tiden godt.

Veien går videre fra bevis og relasjoner til funksjoner og litt mer mengdelære.

Rundt dette punktet i kurset vil vi begynne å se på mer sammensatte temaer. All erfaring tilsier at du trenger svært god kontroll på de første åtte kapitlene for å ha god progresjon og læring i de kommende kapitlene.

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.

Kjære IN1150-student,

Denne uken har vi avsluttet kapittelet om grunnleggende mengdelære. Vi vil møte mengder i nesten alle kapitlene fremover, så det er viktig at dette sitter svært godt. Vi har også introdusert utsagnslogikk, som vi skal dykke dypere inn i gjennom uken.

Kjære IN1150-student,

Takk til alle som møtte til årets første forelesninger. Denne uken har vi ønsket velkommen og nå kommet i gang med mengdelære (kapittel 1) og utsagnslogikk (kapittel 2). Gruppeundervisningen begynner på tirsdag! Her kommer en liten oppdatering og noen påminnelser.

Kjære IN1150-student,

Takk til alle som møtte til årets første forelesninger. Denne uken har vi ønsket velkommen og nå kommet i gang med mengdelære (kapittel 1) og utsagnslogikk (kapittel 2). Gruppeundervisningen begynner på tirsdag! Her kommer en liten oppdatering og noen påminnelser.