Beskjeder
Jeg har rettet en liten feil i oversikten. Det er DFA'er som minimaliseres.
I boka med turing maskiner skal en bruke en transisjon for hvert kvintuppel. Jeg har i forelesningene slått en del av dem sammen. Spesielt der vi leter i en retning til vi finner noe. Da er det nyttig å bruke forkortelse. I en transisjon med la oss si a,b,c over og L under streken er det ment å bety tre transisjoner. En der vi leser a, skriver a og beveger oss L. En der vi leser b, skriver b og beveger L. Og en der vi leser c, skriver c og beveger L. Det er Ok og til og med en fordel å bruke slike forkortelser. Men om du gjør det skriv en liten bemerkning om at du har en forkortelse og hva den betyr.
Jeg har lagt ut en oversikt over hva dere har lært / bør kunne. Pensum er allerede gitt. Denne oversikten er ment som en hjelp til eksamenslesingen.
Eksamensoppgaver for 2006 og 2005 ligger på hjemmesiden fra i fjor
http://www.uio.no/studier/emner/matnat/ifi/HUMIT1750MN/h06/
BUSY BEAVER
En vet for tiden følgende
B(1) = 1
B(2) = 4
B(3) = 6
B(4) = 13
B(5) >= 4098
B(6) >= 1291495196473099725067343354681984950954935808712869005395 8730050912043114050444850240131432687888779698205017959267 2794672477591595948221752253054324818598644957961379096834 4719844731284356888012990533063069223512777765526485338267 0979398926663934043364554169509365540834461843577841574296 4338602689295750349287934407222838834965396559489451001418 9942944746881736756960481303815091265680548717247559304184 3712279467853624749989147054303748499093249845855395105658 4478445044560409600516413149512205248240617758146347382726 6448103006672709418626513574980314780374248666400959218011 9421672821913958840123231130890028804306931645773916087727 2814935264047331701989797656034247766068336844095297300070 4411856162487487365299700203266734458713785900290997887292 8814647043325481327200728882173...
DANGEROUS KNOWLEDGE
På nettet fins det en BBC-serie om logikere - Cantor, Goedel, Turing. Den ligger som video på Google og flere andre steder. Søk på google på Dangerous knowledge.
Fra en av hjelpelærerne: Punkt to, som jeg kom på: Du må legge ut i beskjedfeltet/si på forelesning at høyrelineære grammatikker er regulære grammatikker - boken bruker ikke "høyrelineær" som begrep, det var masse spørsmål på det i fjor.
Undervisningen onsdag 7.11 0915-1000 er avlyst. Jeg må til utlandet og den ene timen tar vi greit igjen.
OBLIG 4 er lagt ut. Fristen er 16. november og den er for INF1800 nå til tross for det som står øverst.
Jeg kommer til å følge stort sett planen fra i fjor til forelesninger, oppgaver etc. Da het kurset HUMIT 1750MN . Websiden ligger her
http://www.uio.no/studier/emner/matnat/ifi/HUMIT1750MN/h06/
Der ligger det også mer materiell. Se og bruk.
Gruppelærerne ba meg legge ut følgende:
Hei alle sammen, og beklager nok en e-post.
Jeg har fått en oblig3 alt (og det er bra), og jeg vil gjerne presisere leveringsanvisningen. I og med at dere leverer flere filer, vil jeg gjerne at dere gjør følgende:
Opprett en mappe oblig3_<brukernavn>, og legg alle filer dere leverer i den.
Pakk mappen til en fil, med zip eller tar, og kall den oblig3_<brukernavn>.
På linux-maskiner på UiO gjøres dette slik: (Med mitt brukernavn som eksempel)
> tar -cvzf oblig3evgenit.tar.gz oblig3evgenit
På windows er det nok å høyre-klikke på mappen og velge "Send til komprimer (zippet) mappe".
Så slipper jeg å holde rede på hauger med løse filer.
Evgenij
Tredje obligatoriske oppgave er lagt ut. Frist 26. oktober.
Notat om sekventkalkyle for predikatlogikk er også pensum
Noen trykkfeil gjorde en av oppgavene i oblig 2 litt mer viren enn det som var meningen. Rettelse er lagt ut, og det er nå valgfritt hvilken versjon man vil besvare.
Andre obligatoriske oppgave er nå lagt ut. Se lenke til venstre. Frist 5. oktober.
Notat om sekventkalkyle for utsagnslogikk er lagt ut. Dette blir pensum.
Første obligatoriske oppgave er nå lagt ut. Se lenke til venstre. Frist 14. september.
Begge gruppene holdes i Vilhelm Bjerknes hus om mandagene. (Se kart over Blindern. )
Gruppe 1 har fått nytt tidspunkt: Mandagsgruppen er flyttet fra kl 14-16 til kl 10-12.