Beskjeder - Side 2
Siden med obligatoriske oppgaver er oppdatert med f?lgende punkter:
- Som del av arbeidet med f?rste obligatoriske oppgave skal alle lese disse retningslinjene: Krav til innleverte oppgaver ved Institutt for informatikk
- Samarbeid er tillatt, men kun i grupper p? to.
Oppgavesett 3 med ukeoppgaver er lagt ut. Overlay-foiler (der ett og ett punkt kommer til syne) er lagt ut; klikk p? linkene "Foiler for skjerm" under "Detaljert undervisningsplan".
Foiler og forelesningsnotater til de tre f?rste forelesningene er lagt ut under "Detaljert undervisningsplan".
Foilene som er lagt ut, blir stygge n?r man skriver ut med '-lmulti4'-opsjonen (4 foiler pr. side). Jeg har derfor lagt ut utskriftsvennlige versjoner av foilene. Jeg kommer til ? dele ut utskrift av foilene for de to f?rste forelesningene, samt mandagens forelesning, p? forelesningen f?rstkommende mandag.
Oppgavesett 2 er oppdatert: oppgave 7 og 9 er endret. Ny versjon er lagt ut.
Foiler fra forelesning 2 og oppgavesett 2 er lagt ut. Oblig 1 kommer i l?pet av uka.
F?rste sett med ukeoppgaver er lagt ut p? oppgavesiden.
Dato for ut- og innlevering av de fire obligene er lagt ut under Oversikt over obliger. Merk reglene for obliginnlevering! Foiler til forelesning 1 er lagt ut under Detaljert undervisningsplan. Ukeoppgaver til neste uke legges ut p? onsdag.
Tidspunkt for gruppeundervisning er endret. Se under Tid og sted for nytt tidspunkt!
Husk obligatorisk oppm?te p? f?rste forelesning 23. januar!
Denne v?ren vil vi ikke benytte oss av en fast l?rebok i logikkurset. Alt relevant materiale kommer til ? bli ? delt ut eller lagt ut p? nettet. Pensum blir det vi rekker ? g? igjennom p? forelesningene og i gruppetimene.
Her er noen lesetips for de som ?nsker ? sette igang.
Vi kommer til ? bruke deler av f?lgende bok: Jean Gallier, Logic for Computer Science, Wiley, 1986 (gratis tilgjengelig).
Man kan ogs? kikke i l?reboken som vi har brukt de siste par siste ?rene: Melvin C. Fitting, First-Order Logic and Automated Theorem Proving, Springer-Verlag, 1996, 2. utgave.
Et par andre (generelle) introduksjonsb?ker til logikk som anbefales er: Richard Jeffrey, Formal logic - its scope and limits, McGraw-Hill, 1991, 3. utgave og Dirk van Dalen, Logic and Structure, Springer, 1997, 3. utgave.