Beskjeder
- torsdag 16. mai: sånn circa 8.4 og 8.5 i Sipsers bok
- tirsdag 21. mai: sånn circa 8.6 og 9.1 og 9.2 i Sipsers bok
- torsdag 23. mai: oppsummering av kurset og litt snakk om eksamen (hvor muligens også Åsmund deltar, jeg har ikke spurt ham enda).
Under finner dere lenker til resten av videoforelesningene fra koronatiden. De dekker resten av penusm (siste del av kap. 8 pluss litt fra begynnelsen av Kap. 9).
Her er noen passende oppgaver fra kap. 8 i Sipsers bok: 8.3, 8.4, 8.5, 8.6, 8.7, 8.18, 8.19, 8.23, 8.27, 8.29.
Noen av disse oppgavene kan bli diskutert i gruppetimene.
Jeg godt i gang med å forelese stoffet i tre første seksjonene av Kap. 8 i Sipsers bok. Nedenfor finner dere linker til videoforelesninger som dekker dette stoffet.
Hele kap. 8 er pensum. Alt i kap. 8 er viktig stoff med tanke på eksamen.
Jeg har publisert noen tidligere eksamener med løsningsforslag i tidligere eksamensoppgaver. Disse er god trening før årets eksamen!
Her er en link til løsningsforslag for noen av oppgavene i Sipsers bok (samt for noen gamle eksamensoppgaver)
Her er en melding jeg fått fra administrasjonen på Ifi:
==========================
Hei
Vi er nødt til å flytte forelesningen i IN2080 tirsdag 14. mai til rommet smalltalk. Timeplanen er oppdatert og studentene har fått beskjed via "Mine studier"
Kristin Bråthen
Dette er pensumet som dere skal eksaminere i: detaljert pensumliste.
På tirsdag (30. april) vil jeg snakke litt om bevisene for at SAT og 3SAT er NP-komplette problemer. Deretter vil begynne å forelese kapittel 8 (Space Complexity) i Sipsers bok. Forelesningen torsdag 2. mai er avlyst.
Disse videoene dekker de siste seksjonene av kapittel 7 i Sipsers bok.
- Lars, nr. 13 (nr. 7 V20)
- Lars, nr. 14 (nr 8 V20)
- Lars, nr. 15-del1 (nr. 9 V20)
- Lars, nr. 15-del2 (nr. 9 V20)
- Lars, nr. 15-del3 (nr. 9 V20)
ADVARSEL: Mellom 30 og 32 minutter ut i del 3 av forelesning nr. 15 sies det noe som er direkte galt (veldig galt). Dette korrigeres i begynnelsen av en kommende forelesning (nr. 17),
Det blir ikke forelesning torsdag 2. mai.
Den tredje og siste obligen er publisert med deadline 7. Mai.
Lykke til!
Jeg har kommet fram til sånn circa seksjon 7.4 i Sipsers bok. Neste uke fortsetter vi med seksjon 7.4 og 7.5 (dette er viktig stoff som vi skal bruke en del tid på).
Her er noen digitale forelesninger som dekker stoffet jeg har snakket om denne uken (16. og 18. april):
- Lars, nr. 10 (nr 4 V20)
- Lars, nr. 11-del1 (nr. 5 V20)
- Lars, nr. 11-del2 (nr. 5 V20)
- Lars, nr. 11-del3 (nr. 5 V20)
- Lars, nr. 12 (nr. 6 V20)
:
Her er noen gode oppgave (et utvalg av disse oppgavene vil bli diskutert i gruppetimene de kommende ukene): 7.1, 7.5, 7.6, 7.7, 7.8, 7.13, 7.7, 7.45, 7.47, 7.35, 7.37 samt oppgavene på denne pdf-filen.
Oppgavene på pdf-filen er meget relevante med tanke på neste oblig.
Jeg har begynt å forelese fra seksjon 7.3. Jeg vil fortsette med å forelese seksjonen førstkommende tirsdag.
Her er noen forelesningsvideoer som dekker stoffet jeg skal snakke om de nærmeste forelesningene:
Jeg starter på kap. 7 i morgen (tirsdag). Mot slutten av uken vil jeg informere dere om hvor langt jeg har kommet. Hele kapittel 7 er pensum.
Jeg er nå ferdig med å forelese kapittel 5 (hele kapitlet er pensum).
Neste uke begynner jeg å forelese kapittel 7 (kapittel 6 er ikke pensum).
Her er noen forelesningopptak fra koronatiden som dekker stoffet jeg har forelest denne uken samt stoffet jeg vil forelese første uke etter påske:
- Forelesning 4, Del
- Forelesning 4, Del 2
- Forelesning 5
- Lars, nr. 6 (metaforelesning), en forelesning på under 10 minutter
- Lars, nr. 7-del1
- ...
Her er noen passende oppgaver relatert til stoffet i kap. 4:
Oppgaver: 4.1--4.5, 4.8, 4.13, 4.19, 4.24, 4.29, 4.30.
Mick vil gi nærmere beskjed om hvilke av disse oppgavene dere vil diskutere (løse) i gruppetimene.
Denne uken har jeg forelest hele kap. 4, og jeg har så vidt begynt å forelese kap. 5. Etter påske fortsetter jeg å forelese Kap. 5. Jeg vil sannsynligvis bruke hele den første uken etter påske på å forelese Kap. 5. Hele kap. 5 er (viktig) pensum.
Oblig 2 er ute med frist 10. April.
Den inneholder kontekstfrie språk og Turing-maskiner og kan finnes her eller i mappa "obliger".
Lykke til!
Neste uke vil jeg snakke om stoffet i kap. 4 og muligens noe av stoffet i kap. 5. Jeg skal oppdatere dere mot slutten av neste uke om hva jeg faktisk har rukket å forelese.
Digitale forelesninger (tatt opp under koronatiden): nr. 1 og nr. 2.
nr. 3. Disse forelesningene dekker stoffet jeg har snakket om denne uken.
Det finnes ikke, og det vil ikke bli laget, "slides" av forelesningene. Stoffet egner seg ikke for "slides". Man lærer det ved å lese i Sipsers bok, ved å høre på at noen tegner og forklarer og ved å løse oppgaver (det siste er det viktigste).
Her er noen passende oppgaver om det stoffet jeg har forelest denne ukene: 3.1-3.3, 3.5-3.9, 3.15. Dere kan også prøve der på oppgavene 3.13, 3.16 og 3.17. Mick gir nærmere beskjed om hvilke oppgaver han vil vie oppmerksomhet i gruppetimene.