Vi rakk ikke ? begynne ¡­

Vi rakk ikke ? begynne p? predikatlogikk i dag, det blir tema neste forelesning. Les stoffet i Avigad 5.1-5.2 og van Dalen 2.1. Det kommer et lite ukeoppgavesett i morgen, det inneholder siste obligoppgave for oblig2. Innleveringsfrist for Oblig 2 er tirsdag om to uker, men det anbefales ? utnytte at det er f? ukeoppgaver til neste uke og gj?re det ferdig til da.