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

Course Information

Course Name
Turkish Soyut Matematik
English Abstract Mathematics
Course Code
MAT 175 Credit Lecture
Semester -
3 3 - -
Course Language Turkish
Course Coordinator Atabey Kaygun
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 Outcomes
Required Facilities
Textbook S. Galovich, “Introduction to Mathematical Structures”
J. P. D'Angelo ve D. B. West "Mathematical Thinking Problem Solving and Proofs"
Other References
Courses . Help . About
Ninova is an ITU Office of Information Technologies Product. © 2024