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. )

Merk ogs? ny tid for gruppe 2.

Gruppe 1 har f?tt nytt tidspunkt: Mandagsgruppen er flyttet fra kl 14-16 til kl 10-12.