application of discrete mathematics in artificial intelligence