I morgen tar vi et ¡­

I morgen tar vi et tilbakeblikk p? slutningsregler og resonnering rundt programmer for de som ikke er kjent med det. Essensielt ser vi p? kap. 2 fra Andrew's bok (fra pensum i INF3140, deles ut p? forelesning) og ser p? noen eksempler. Dette er ikke direkte pensum i INF5140. Vi fortsetter med transisjonssystemer og temporallogikk om en uke.