Diskrētā matemātika datorzinātnē