Topics covered in this course include: logic and proofs; set theory, relations and functions; cardinality and examples on mathematical structures.