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