Beskjeder
Hei!
P? vegne av gruppen for Logikk og intelligente data (Logid) ?nsker jeg velkommen til eksamenslesepizzafest!
P? tirsdag har vi eksamensverksted fra 10:15 til 16:00, og s? bestiller vi pizza til 16.
De som vil kan ta med frukt/snacks/kaker vi kan sette p? lunsjbordet. Det blir mulighet for bading (jeg stiller med Frisbee).
De som vil ha pizza m? melde seg p? her:
https://nettskjema.no/a/59824.html
Velkommen!
Andreas
Fra og med 12. mai til og med 27.mai
Tirsdag 14:15 — 16:00: Repetisjonsforelesning i Caml. Onsdag 14:15 — 16:00: Oppgaveregning i Java. Torsdag 14:15 — 16:00: Oppgaveregning i Smalltalk. Den 27. mai blir det eksamensverksted med regning av eksamensoppgaver.
Herman og Andreas
Herman: kan du legge ut p? kurssidene at det blir repetisjonsforelesning imorgen? Og at det er vanlig gruppeundervisning ut denne uken, og at det deretter blir bare onsdager (gamle tiden til gruppe 2) og torsdager (gamle tiden til gruppe 1) som blir tider for én felles gruppe? - Andreas
Dette var siste uke med ordin?re forelesninger. Jeg ble ferdig med ? forelese kapittel 8 i l?reboken. I tillegg rakk jeg ? snakke litt om et par teoremer i kapittel 9.
Her er en oppsummering av denne ukes forelesninger:
http://folk.uio.no/larsk/uke18a.pdf
Takk for meg.
Lars
Denne uke har jeg forelest seksjon 8.4 og 8.5 i Sipsers bok. Her er en oppsummering av denne ukes forelesninger:
Jeg har n? forelest frem til seksjon 8.4. Netse uke er det p?skeferie. Tirsdag den 22. april starter jeg ? forelese seksjon 8.4. Her er en oppsummering av denne ukes forelesninger:
Her finner dere fjor?rets eksamensoppgaver:
Innleveringsfristen for den tredje og siste obligatoriske oppgaven er madag 14. april. Alle sp?rsm?l i forbindelse med oppgaven skal rettes til gruppel?rerene. (Innleveringen er opprettet i Devilry.)
Jeg er ferdig med ? forelese kapittel 7 i l?reboken. Jeg har begynt ? forelese kapittel 8. Dette er oppsummering av ukens forelesninger:
Det var ikke s? lett ? finne noen. Men jeg lette p? INF 2080 siden og fant en peker til INF 1800 (nedlagt). Let p? sidene der for tidligere ?r. Der fant jeg noen eksamensoppgaver og mye annet stoff som jeg har lagt ut tidligere. - Herman
Den tredje obligatoriske oppgaven er n? tilgjenglig. Innleveringsfristen settes av gruppel?rerene.
Vi har sett eksempler p? hvordan et spr?k A kan polynom-tid reduseres til et spr?k B. Man b?r ?ve seg p?
? beskrive polynom-tid reduksjoner mellom NP -komplette spr?k.
Nest uke vil jeg f?rst snakke mer om beviset for Theorem 7.35 (SAT er NP-komplett) og beviset for Corollary 7.42 (3SAT er NP-komplett). Deretter vil jeg begynne ? forelese Chapter 8.
Det blir ikke forelesninger tirsdag 18. og onsdag 19. mars. Gruppeundervisningen g?r som vanlig.
Neste forelesning blir tirsdag 25. mars.
Jeg har n? forelest frem til s?nn circa side 304 (teorem 7.3.6). Dette er det viktigeste jeg har snakket om denne uken: http://folk.uio.no/larsk/uke11a.pdf
Denne uken startet jeg ? forelese kapittel 7 i l?reboken. Jeg har forelest frem til seksjon 7.3 (og litt av seksjon 7.3). Dette er det viktigeste jeg har snakket om denne uken: http://folk.uio.no/larsk/uke10a.pdf
Fra neste uke - og ut semesteret - overtar Lars Kristiansen som foreleser.
Gruppe 1 torsdag 6. mars er flyttet til seminarrom 1456 Shell: http://www.uio.no/studier/emner/matnat/ifi/INF2080/v14/timeplan/index.html#%C3%98VE-1
Jeg skal i de neste tre ukene ta for meg kapitlene 3,4,5 fra boka. Det er tilstrekkelig at dere leser boka. Jeg kommer til ? f?lge opplegget fra i fjor - det er fire sett med foiler under nytt stoff v?r 2013. Jeg vil bruke foilene og starte med Turings analyse, s? Turings basic (5 grunnleggende turing maskiner, s? se p? flittige bevere og tilslutt ta for meg avgj?rbarhet. Men det er OK om dere bare leser det som st?r i de tre kapitlene i boka.
I likhet med sist ?r tar jeg ikke med avsnitt 2.4 fra Sipser. Det er uavhengig av resten. Der g?r han gjennom litt av teorien for deterministiske PDA'er.
Hi,
I've begun to promote the Semicolon competition (see website http://bit.ly/utfordring) in the following channels:
- IFI facebook (since Thursday 23)
- IFI screens (since Monday 27)
- IFI event (since Monday 27)
- Lots of posters in almost every building of Blindern (since Friday 24)
- Announcement in a couple of courses in Library studies of the Univ. College of Oslo (since Wednesday 22)
Up to now, I have 8 registrations, all coming from the Library studies. Thus, it could be good to announce this competition in some relevant courses at IFI. Martin has proposed to announce it in his course on Semantic technologies. Can you think on any other possible courses? (I can contact with the teachers afterwards)
Thanks for all!
Best,
Guillermo
Inntil annen beskjed:
Timeplan for gruppe 2: Onsdag 14:15 -- 16:00 (Java) og fredag 10:15 -- 12:00 (Prolog)
Gruppe 2 har forsvunnet fra timeplanen for dette semesteret, men ukens gruppetimer (onsdag klokken 14:15 og fredag klokken 10:15) g?r som planlagt.
Andreas