This course is about the following subjects: sets; algebra of sets, counting principles; relations; mathematical induction, logic, propositional calculus, truth tables, quantifiers: universal, existential, sum, product