# ontwikkeling van complexiteitsklassen en de p versus np vraagstuk ### Achtergrond: Basisconcepten (Logica, Verzamelingen, Bewijstechnieken) * Informatica bestudeert de automatische verwerking van informatie, waarbij voorstellingen (rijen symbolen) door algoritmen worden gemanipuleerd [7](#page=7) [8](#page=8).