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