Beskjeder

Publisert 28. nov. 2007 12:00

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.

Publisert 26. nov. 2007 13:32

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.

Publisert 22. nov. 2007 15:46

Eksamensoppgaver for 2006 og 2005 ligger p? hjemmesiden fra i fjor

http://www.uio.no/studier/emner/matnat/ifi/HUMIT1750MN/h06/

Publisert 21. nov. 2007 12:15

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

Publisert 19. nov. 2007 10:16

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.

Publisert 6. nov. 2007 12:37

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.

Publisert 30. okt. 2007 13:15

Undervisningen onsdag 7.11 0915-1000 er avlyst. Jeg m? til utlandet og den ene timen tar vi greit igjen.

Publisert 30. okt. 2007 13:14

OBLIG 4 er lagt ut. Fristen er 16. november og den er for INF1800 n? til tross for det som st?r ?verst.

Publisert 26. okt. 2007 13:39

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.

Publisert 19. okt. 2007 17:46

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

Publisert 3. okt. 2007 19:41

Tredje obligatoriske oppgave er lagt ut. Frist 26. oktober.

Publisert 27. sep. 2007 13:11

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.

Publisert 21. sep. 2007 01:42

Andre obligatoriske oppgave er n? lagt ut. Se lenke til venstre. Frist 5. oktober.

Publisert 11. sep. 2007 21:43

Notat om sekventkalkyle for utsagnslogikk er lagt ut. Dette blir pensum.

Publisert 27. aug. 2007 16:38

F?rste obligatoriske oppgave er n? lagt ut. Se lenke til venstre. Frist 14. september.

Publisert 26. aug. 2007 23:44

Begge gruppene holdes i Vilhelm Bjerknes hus om mandagene. (Se kart over Blindern. )

Publisert 22. aug. 2007 16:47

Merk ogs? ny tid for gruppe 2.

Publisert 9. aug. 2007 17:01

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