Skip to Main Content

Elements of Set Theory and Mathematical logic: Course Contents (MAT 102)

Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects

Course Outline

Set theory:

Sets, subsets, operations with sets:

union,intersection, difference, symmetric difference,

Cartesian product and disjoint union.

Functions: graph of a function.

Composition; injections,

surjections, bijections, inverse function.

Computing cardinals:

Cardinality of Cartesian product, union.

Cardinality of all functions from a set to another  set.  

Cardinality  of  all  injective,  surjective 

bijective functions from a set to another set.

Infinite sets, finite sets.

Countable sets,

properties, examples (Z, Q).

R is not countable. R, RxR, RxRxR have the same cardinal.

Operations with cardinal numbers.

Cantor-Bernstein theorem.


Equivalence relations,

partitions, quotient set; examples,

parallelism, similarity of triangles.

Order relations, min, max, inf, sup; linear order.

Examples: N, Z, R, P(A). Well ordered sets and induction.

Inductively ordered sets and Zorn’s lemma.

Mathematical logic:

Propositional Calculus.

Truth tables. Predicate Calculus.

E Books

Text Books

Related Books

Ask help

Google books

Google Book Search