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