Beskjeder
Foiler fra siste time ligger på undervisningsplanen. Oppdatert kompendium ligger på pensumsiden.
Husk å fylle ut kurskritikken.
Takk for følget og lykke til på eksamen!
Delvis løsningsforslag til oblig 3 ligger på obligsiden.
Uavhentede obliginnleveringer kan hentes i ekspedisjonen.
Ønskerepriser. Har du ønsker om gamle oppgaver som skal repeteres i gruppetimen? Send mail til gruppelærer.
Kursmateriale fra våren 2005 er nå tilgjengelig fra pensumsiden.
Et kompendium med alle forelesninger, ukeoppgaver og obligatoriske oppgaver er nå tilgjengelig fra pensumsiden.
Siste ordinære forelesning er mandag 29. mai. Mandag 12. juni skal det være spørretime og repetisjonsforelesning. Send på forhånd en epost med spørsmål eller forslag til repetisjonsstoff!
Pensum i kurset er alt som er forelest fram t.o.m. mandag 29. mai, samt ukeoppgavene som er gjennomgått på gruppetimene. Merk at emner forelest i slutten av kurset ikke er mindre eksamensaktuelle enn annet stoff.
Endelig godkjentliste for alle obligs er klar.
For moro skyld og siden det var 17. mai i går legger jeg ut en oppgave som jeg mottok av en av studentene ved faget. Oppgaven er ikke pensum.
Det blir ingen oblig 4. Alle som har levert og fått godkjent tre obliger kan gå opp til eksamen. På eksamen blir det ikke tillatt med hjelpemidler.
Godkjentlisten for oblig3 er oppdatert. Besvarelsene utleveres i starten av gruppetimen i morgen. Ny innlevering er innen gruppetimen neste uke, dvs. onsdag 10. mai kl. 12.15. Lever da også inn den rettede 1. innleveringen. Løsningsforslag til obligen blir gjennomgått gruppetimen 10. mai. Tips ligger ute på gruppensiden.
Oppgavesett 10 til gruppetimen 3. mai er lagt ut i revidert utgave. Følgende endringer er gjort:
- Det er lagt til flere sekventer i oppgave 1.
- Definisjon (II) av deltaregelen er endret. Skolemfunksjonen har som argument de frie variablene i konklusjonen, ikke i utledningen som tidligere.
- En ekstra oppgave er lagt til (oppgave 8).
Oppgavesett 10 til gruppetimen 3. mai er lagt ut.
Det blir gruppetime i morgen 19. april.
Ukesoppgavene til gruppetimen 5. april blir oppgavene vi ikke ble ferdige med forrige gruppetime.
Gruppeundervisningen 22. mars utgår pga. undervisningsfri uke.
Oppgavesett 7 til gruppetimen 15. mars er lagt ut.
Løsningsforslag for oblig1 er lagt ut under gruppesiden . Merk at løsningen på oppgave 4a) på gruppetimen var feil, men dette er rettet opp i løsningsforslaget. LaTex filen til løsningsforslaget er også lagt ut for å stimulere flere til å levere inn fine obliger.
Oblig 2 er lagt ut. Obligen er liten. Det betyr at dere har mye tid til å gjøre ukeoppgaver.
Den endelige godkjentlisten for oblig1 er klar.
Oppgavesett 6 (til 8. mars) er lagt ut under Ukeoppgaver .