Beskjeder

Publisert 26. mai 2014 09:26

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

Publisert 12. mai 2014 09:02

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

Publisert 5. mai 2014 14:52
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
Publisert 30. apr. 2014 15:37

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

Publisert 23. apr. 2014 12:05

Denne uke har jeg forelest seksjon 8.4 og 8.5 i Sipsers bok. Her er en oppsummering av denne ukes forelesninger:

http://folk.uio.no/larsk/uke17a.pdf

Publisert 9. apr. 2014 12:18

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:

http://folk.uio.no/larsk/uke15a.pdf

Publisert 8. apr. 2014 16:50

Her finner dere fjor?rets eksamensoppgaver:

http://folk.uio.no/larsk/eksam2080v13.pdf

Publisert 2. apr. 2014 12:21

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

Publisert 2. apr. 2014 12:18

Jeg er ferdig med ? forelese kapittel 7 i l?reboken. Jeg har begynt ? forelese kapittel 8. Dette er oppsummering av ukens forelesninger:

http://folk.uio.no/larsk/uke14a.pdf

Publisert 1. apr. 2014 15:26

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

Publisert 26. mars 2014 13:51

Den tredje obligatoriske oppgaven er n? tilgjenglig. Innleveringsfristen settes av gruppel?rerene.

Publisert 26. mars 2014 11:57

 

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.

Publisert 12. mars 2014 12:40

Det blir ikke forelesninger tirsdag 18. og onsdag 19. mars. Gruppeundervisningen g?r som vanlig.

Neste forelesning blir tirsdag 25. mars.

Publisert 12. mars 2014 12:37

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

Publisert 5. mars 2014 11:33

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

Publisert 26. feb. 2014 09:32

Fra neste uke - og ut semesteret - overtar Lars Kristiansen som foreleser.

Publisert 26. feb. 2014 09:31

Oblig 2 er lagt ut

Publisert 25. feb. 2014 13:55

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

Publisert 6. feb. 2014 13:50

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.

Publisert 4. feb. 2014 12:33

Ny tid: Torsdag 14.15 - 16.00

Publisert 4. feb. 2014 09:39

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.

Publisert 28. jan. 2014 12:27

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

Publisert 28. jan. 2014 11:27

Oblig 1 er lagt ut

Publisert 23. jan. 2014 10:49

Inntil annen beskjed:

Timeplan for gruppe 2: Onsdag 14:15 -- 16:00 (Java) og fredag 10:15 -- 12:00 (Prolog)

Publisert 21. jan. 2014 09:18
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