Semesterside for INF3170 - Vår 2012

Klargjøring: Oppgavesett 13 er også pensum.

23. mai 2012 13:53

Siste forelesning i dag! Runder av forrige gang, og oppsummerer semesteret.

21. mai 2012 13:17

Det blir altså forelesning mandag den 14. mai, om det skulle være noe tvil om det. Vi gjennomgår siste del av pensum og ser på noen anvendelser.

PENSUM er van Dalen til og med kapittel 3.3, untatt fra side 123 og stoffet om Skolem-Löwenheim i 3.2, og Avigad til og med 7.3. Generelt tar van Dalen for seg noe stoff og eksempler her og der som vi overhodet ikke har vært innom, og dette vil det ikke bli spurt om på eksamen. Bruk Avigad som rettesnor, hvis noe fra van Dalen ikke nevnes med ett ord i Avigad vil det ikke bli spurt om på eksamen.

11. mai 2012 14:50