TMA4140 Diskret matematikk, høst 2017