Guus Bosman

Worked on the chapter about Complexity. Revised the Halting problem, classification of functions, proof NP-completeness of SAT problem... Now I'll see if I can refresh my knowledge on Galois Fields etc; necessary for the Coding part.