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.