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.