discrete structures introduction 4131623