Course Description : | Logic and proofs; quantifiers; rules of inference mathematical proofs, sets: set operations, extended set operations and indexed families of sets; relations; Cartesian products and relations; equivalence relations; partitions; functions; onto functions, one-to-one functions; induced set functions; cardinality; equipotence of sets; finite and infinite sets; countable sets, topology of R |