IN1150 - Logiske metoder

Nå kan du alt

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.

En Eulersk trikkeferd

https://www.uio.no/studier/emner/matnat/ifi/IN1150/v24/grupper/arthuk/eulervei-i-trikkekartet.html

Det har seg slik at hvis man ser på kartet over Oslos trikk som en multigraf, finnes det en eulervei! Bli med oss på denne Eulerske reisen søndag 5. mai!

Tidligere eksamensoppgaver

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

Du finner tidligere eksamensoppgaver på lenken over, og under ressurser på semestersiden. Det er lurt å begynne å øve på eksamensoppgaver allerede nå.

Discourse og konkurranser

https://astro-discourse.uio.no/c/in1150-24v

Vi oppfordrer deg til å stille spørsmål på Discourse dersom det er noe du lurer på eller ønsker andres perspektiver på. Vi oppfordrer deg også til å å svare på andres spørsmål!

På Discourse kan du også sende inn bidrag til konkurransene! De er som følger:

Ukens nøtt

Ukens nøtt er hentet fra den enestående boken Gödel, Escher, Bach av Douglas Hofstadter.

MIU-systemet er et enkelt system. Du får en streng MI som du kan utlede andre strenger i MIU-systemet ved å følge følgende regler:

  1. xI → xIU

    Enhver streng som slutter med I kan utvides med en U.

  2. Mx → Mxx

    For enhver streng som starter med M, kan strengen utvides med hele innholdet av det som kommer etter M.

  3. xIIIy → xUy

    Hvis III forekommer i strengen, så kan det erstattes med U.

  4. xUUy → xy

    Hvis UU forekommer i strengen, så kan det fjernes.

Fra MI kan både MIU og MII utledes i ett steg.

Kan man utlede strengen MU fra strengen MI? Hvis det er mulig, så vis en utledning. Hvis det ikke er mulig, vis hvorfor det er slik.

God helg!

--
Med vennlig hilsen oss som underviser IN1150
Av Lars Tveito
Publisert 3. mai 2024 18:32 - Sist endret 3. mai 2024 18:36
Del på e-post