Denne våren vil vi ikke …
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.