Beskjeder
ÅRETS JULEGAVE
http://www.youtube.com/watch?v=cYw2ewoO6c4
SISTE FORELESNING
Siste forelesning er mandag 22 november 1215-1400. Da tar jeg en repetisjon av hva vi har lært. Øvelsene fortsetter ut uka etter.
OM OBLIG 4
Jeg fikk spørsmål om det var nødvendig å rydde opp etter beregning på Turing maskiner. Svaret er nei om det ikke blir spurt spesielt om. Men et råd - forklar hvordan situasjonen er ved terminering og spesielt om hvilken rute maskinen stopper på og om hvordan tapen da ser ut. Det hjelper den som skal undersøke og forstå maskinen og den som skal rette besvarelsen, og den hjelper deg til å få fram hvor mye du har fått til og om eventuelle feil er små eller store. Som regel blir du bedt om å beskrive hva maskinen gjør - og da hører dette med til beskrivelsen.
Avlysning forelesning 03.11
Forelesningen neste uke onsdag 03.11 0915-1000 er avlyst. Vi skulle ha god nok tid til å komme gjennom det vi skal uten ekstra timer.
NY FRIST OBLIG 3 - onsdag 27. oktober
Jeg la ut oblig 3 i går - onsdag 13.10 . Etter reglementet skal det være 14 dager på oblig'en. Dette holder ikke slik den nå er lagt ut. Den nye fristen for oblig 3 blir satt til onsdag 27. oktober.
Notater - Lars-Erik
Lars-Erik har skrevet noen gode notater om INF 1800. Ta gjerne en titt på dem
http://folk.uio.no/larsereb/
Lars-Erik har også laget et oppgavesett som står til pensum om FSA, Pushdown-automater og pumpelemma.Det er en praktisk oppgave, hvor man lager automater som skal validere HTML-filer.
I oppgave 1 er det begrenset hvor mange tagger som nøstes inni hverandre, dette kan altså uttrykkes med en FSA. I oppgave 2 fjerner jeg denne begrensningen, slik at man må bruke en push-down automat. Jeg håper studentene finner oppgaven engasjerende, da man ser praktisk bruk av teorien de lærer, og mange sikkert kjenner til HTML fra før.
Forelesningene mandag 27. september er flyttet til auditorium 2 i Georg Sverderups hus.
OBLIG 2
Jeg har lagt ut den andre oblig'en. Frist mandag 4. oktober.
MINIMALISERING AV DFA Vi skal lære algoritmen for å minimalisere en DFA. Jeg har lagt ut en beskrivelse av hva algoritmen gjør. Det er den samme algoritmen som står i boka. (11.3.3 sidene 737-743 )
INNLEVERING AV OBLIG
Her kommer følgende strenge beskjed om hvordan det gjøres
Obligatoriske innleveringer skal leveres i papirform ved IFI-administrasjonen. Luken stenger hver dag klokken 15, bortsett fra fredag hvor den stenger 14.30. Husk å merke alle innleverte oppgaver tydelig med brukernavn og gruppenummer! (For de av dere som foretrekker å skrive løsninger på datamaskinen, er det intet i veien for å printe ut løsningen og levere den i luken.)
Frist for Oblig 1 er mandag 13. september. Absolutt siste frist er altså mandag klokken 15.00.
Det kan være at dere har fått en annen beskjed om hvordan det gjøres. Vi vil se gjennom dette ved denne første innleveringen.
DOBBELT BOOKING
Dere fikk vel med dere sist mandag at Store Auditorium var dobbelt booket - både vårt kurs og INF 3410. Vi ordner det ved at
INF 1800 har mandagstimer i Lille Auditorium - Auditoriet ved siden av.
Der er det 98 plasser - så det skulle gå bra.
OBLIG 1
Jeg har lagt inn den første oblig'en. Frist mandag 13 september. Om du er usikker på noen av formuleringene eller mener at teksten er uklar, gjør dine egne presiseringer og redegjør for dem. Første gang jeg la ut denne beskjeden skrev jeg gal frist - den riktige fristen er mandag 13 september slik det også står ellers her under undervisning.
BRUK AV WEB
Bruk internett for å få mer stoff rundt det vi foreleser om. Her er forslag til noen søkeord - logic - dangerous knowledge - logicomix - Skolem - Gödel - Turing - automata - Smullyan - Gentzen - Frege - Julia Robinson - turing machine
OPPGAVER
Jeg vil følge samme opplegg som i fjor - dere finner oppgavene for de enkelte ukene ved å se på websiden fra i fjor. For uke 35 finner dere den under beskjeder.
Jeg vil lage nye obliger - men de vil likne på de fra i fjor.
VELKOMMEN
Jeg skal - i likhet med høsten 2009 - forelese dette semesteret. Som gruppelærere har vi foreløpig Lars Erik Bruce og Kristina Elfving. (Vi trenger en til eller at en av de to tar to grupper).
Kort om opplegget:
- jeg følger samme opplegg som i fjor
- i fjor la jeg ut oppsummering hver uke - dere kan bruke de samme oppsummeringene i år. Jeg gir beskjed om de helt minimale endringene som kommer.
Noen små endringer fra i fjor:
- trekkfrist er onsdag i uke 48 (1. desember)
- eksamen er på 4 timer
- eksamen er torsdag i uke 50 (16. desember)
Herman