Beskjeder
Da er kurset over, og alle eksamensoppgavene er ferdig rettet.
Takk for n?, lykke til videre i studiene, god jul og godt nytt?r!
Noen tidligere eksamensoppgaver har blitt lagt ut p? ressurssiden.
Endringer og ekstratimer for gruppe 1: I uke 49 blir gruppetimen flyttet til tirsdag 14-16 p? rom C305 VB. I uke 50 blir det gruppetimer samme tid og sted som den vanlige gruppeundervisningen.
Gruppetimen for Gruppe 2 p? torsdag 27. november kl. 12:15-14:00 er avlyst. (I stedet blir det en ekstra dobbeltime torsdag 11.desember.)
Et l?sningsforslag til obligatorisk oppgave 2 er n? lagt ut under obligatoriske oppgaver.
Kompendiet med alle forelesningene fra logikkdelen er oppdatert.
Nye ukeoppgaver (om Turing-maskiner) er lagt ut.
Pensumplanen er oppdatert. (Pensumet i Lars' del av kurset er lagt ut.) Nye ukeoppgaver er lagt ut.
Forelesningsplanen er oppdatert. Oppgaver til neste uker er lagt ut.
Et l?sningsforslag til obligatorisk oppgave 1 er n? lagt ut under obligatoriske oppgaver.
Gruppetimene for Gruppe 1 p? tirsdag 21. oktober kl. 09:15-12:00 er avlyst p? grunn av sykdom. (Det blir alts? ingen gruppetimer p? tirsdag 21. oktober for noen av gruppene.) P? grunn av disse avlysningene blir deler av forelesningene p? tirsdag og onsdag satt av til oppgaveregning (p? tavlen). I tillegg blir det litt satt av tid til litt uformell oppgavel?sning og diskusjon etter tirsdagsforelesningen, i Store Auditorium, i tidsrommet 16:15-17:00, for de som ?nsker det.
Vi har n? lagt ut en side med litt LaTeX-ressurser for de som er interessert.
Gruppetimen for Gruppe 2 p? tirsdag 21. oktober kl. 12:15-13:00 er avlyst. Tidspunkt for en ekstra gruppetime avtales neste gruppetime, torsdag 23. oktober.
Obligatorisk oppgave 3 er n? lagt ut, samt ukeoppgaver til uke 42.
Nye ukeoppgaver er lagt ut. Neste uke tar Roger over forelesningene. Lars kommer tilbake i november og vil da forelese over stoffet i kapittel 12. Stoffet om regul?re grammatikker i kapittel 11 vil bli ogs? bli forelest i november.
Nye ukeoppgaver er lagt ut. Forelesningsplanen er oppdatert.
F?rste time tirsdag 23.09 for gruppe 1 blir p? hundremeterskogen p? forskningsparken. Xiang venter utenfor hovedinngangen f?r f?rste time s?nn at de som ikke vet hvor rommet ligger kan f? f?lge inn.
Den andre obligatoriske oppgaven er n? lagt ut.
Se Detaljert undervisningsplan og Oppgaver til gruppetimene for oppdatert informasjon.
Den annonserte endringen i undervisningstidspunkt er avlyst. Forelesningene vil g? som normalt hvis ikke noe annet er spesifisert.
Forelesningsnotatene til samtlige forelesninger er n? oppdatert; blant annet er de engelske ordene for viktige begreper og definisjoner tatt med i parentes. Se den detaljerte undervisningsplanen for mer informasjon. Send gjerne epost til foreleser hvis dere finner feil eller mangler. I forbindelse med obligatorisk oppgave 1 trenger man ? kunne definisjonen av en oppfyllbar mengde. Denne er lagt til helt p? slutten av forelesning 6.
Endring av tidspunktet for gruppe 1: P? tirsdager vil gruppetimen i tidsrommet 12:15-13:00 flyttes til tidsrommet 09:15-10:00.
Obligatorisk oppgave 1 er n? tilgjengelig. G? til siden Obligatorisk oppgaver for mer informasjon.