Welcome,
Guest
.
Login
.
Türkçe
NİNOVA
COURSES
HELP
ABOUT
Where Am I:
Ninova
/
Courses
/
Faculty of Science and Letters
/
MAT 175
/
Course Informations
Return to Faculty
Home Page
Course Information
Course Weekly Lecture Plan
Course Evaluation Criteria
Course Resources
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. © 2025