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.)