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:
- Dobbeltnegasjoner (https://astro-discourse.uio.no/t/dobbeltnegasjoner/)
- Trippelnegasjoner (https://astro-discourse.uio.no/t/trippelnegasjoner/)
- Tautologier (https://astro-discourse.uio.no/t/tautologier/)
- Kontradiksjoner (https://astro-discourse.uio.no/t/kontradiksjoner/)
- Logiske memes (https://astro-discourse.uio.no/t/logiske-memes/)
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:
-
xI
→xIU
Enhver streng som slutter med
I
kan utvides med enU
. -
Mx
→Mxx
For enhver streng som starter med
M
, kan strengen utvides med hele innholdet av det som kommer etterM
. -
xIIIy
→xUy
Hvis
III
forekommer i strengen, så kan det erstattes medU
. -
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