Du er her: UiO > Studier > Emner > MAT4600 >

MAT4600 - Høst 2005 (Matematisk logikk)

Siste beskjeder:

17.11: Følgende personer har levert og fått godkjent sin obligatoriske oppgave: Espen Øverbye Bedeho Mender Abdolhassan Baghulpour Mona Alice Ness Sindre Duedal Martin Skjævland Sigurd Seteklev Siegfried Palme Stian Strandem Roger Digre Hvis noen føler seg forbigått, si fra fort som F. Skal man ta eksamen, må man stå på denne listen. (Det er ikke så farlig om det skulle være mindre skrivefeil i noen av navnene på listen.)

11.11: Torsdag 17. november vil jeg gå gjennom den obligatoriske oppgaven. Den dagen blir også siste frist for innlevering. Oppgaven kan leveres i instituttet ekspedisjon i 7 etasje, eller til meg før forelesningen torsdag den 17. Tidligere eksamner i MAT3600/MAT4600 er tilgjenglig her. (Kurset var nytt i fjor. Tidliger versjoner av kurset het MA231 og MA250. Jeg tror ikke det er noen god ide å studere eksamensoppgaver fra diss kursene.)

27.10: Jeg gjør oppmerksom på at vi implisitt løste mage av oppgavene i seksjon 3.2.1 mens vi viste kompletthetsteoremet. Vi løste dog ikke oppgave 2 i seksjon 3.2.1. Det er en enkel, men interessant oppgave. Jeg vil løse den på en av de kommede forelesningene. Forsøk og løs den på egenhånd. Her er flere oppgaver. seksjon 3.3.1: 1, 5, 6, 8 a, b og d, 9, 10 og 11.

Alle beskjeder

Beskrivelse av emnet

Undervisning
Tid og sted

Eksamen og vurderingsformer
Tid og sted - Eksamen ved UiO

Universitetsbiblioteket
Bibliotekssider for dette emnet

Kontaktinformasjon
Studieadministrasjon og faglærere

---

Redaksjon: Redaksjon for studietilbudet ved UiO
Dokument opprettet: 21.04.2005, endret: 27.04.2005Administrer dette dokumentet