This textbook has been written for students pursuing a BE/BTech in computer science or a MCA/MTech, DOEACC-B Level or equivalent course. The topics covered are self-contained and include sets, relations, recurrence relations, generating functions, posets, lattices and methods of proofs.