Informatique théorique, Mathématiques discrètes