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.