This course introduces the fundamental of discrete structures that is required in the contemporary aspects of computing. The topics covered are basic concepts of counting, logic and quantifiers, introduction to proofs, relation and function.