Welcome, Guest . Login . Türkçe
Where Am I: Ninova / Courses / Faculty of Science and Letters / MAT 175 - Soyut Matematik

MAT 175 - Abstract Mathematics

Course Objectives

To introduce proof techniques. To teach notions such as logic,sets, functions and cardinality., equivalence, and order.

Course Description

Symbolic Logic: propositions, quantifiers, negation, proof techniques.Set Theory: sets, operations on sets, lattices, boolean algebra, relations, equivalence andorder relations, functions, composite functions, and inverse functions.
Countablity: finite and infinite sets, countable sets, Cantor’s theorems.Ordered Sets: partial orders, well orders, posets, Zorn’s lemma.Natural Numbers: Peano axioms, the principle of mathematical induction.
Integers: construction of integers, ordering and divisibility, congruances.

Course Coordinator
Atabey Kaygun
Course Language
Courses . Help . About
Ninova is an ITU Office of Information Technologies Product. © 2023