A short course in discrete mathematics