This course covers elementary discrete mathematics. Mathematical definitions and proofs are emphasized.