History of discrete mathematics