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

/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
Publisert 3. mai 2024 18:32 - Sist endret 3. mai 2024 18:36
Del p? e-post