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
(hour/week)
Recitation
(hour/week)
Laboratory
(hour/week)
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
Pre-requisite(s)
Required Facilities
Other
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