Course Language:

English

Course Objectives:

To teach the usage of analytical tools for mathematical thinking.

Course Content:

Propositional and predicate calculus. Introduction to logic. Methods of proof. Axioms of set theory. Cartesian product, relations and functions. Partial and total orderings. Zorn's lemma. Cardinality, finite, countable and uncountable sets. Arithmetic of cardinals and ordinals.

Course Methodology:

1: Lecture, 2: Problem Solving, 3:Question-answer, 4: Homework

Course Evaluation Methods:

A: Written examination, B: Homework