Emnet anbefaler f?lgende forkunnskaper: INF1020 ¡­

Emnet anbefaler f?lgende forkunnskaper: INF1020 , INF1050 og MAT1030. Kunnskaper innen hashing, B-tr?r og grafer (fra INF1020) og mengdel?re, 1. ordens logikk og induksjonsbevis (fra MAT1030) anses som kjent og vil ikke bli gjennomg?tt. (Tidligere har emnet blitt annonsert med forutsetningskrav.)