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		Sultan Erdoğan Demir
Course Objectives		Öğrenciyi ispat teknikleri hakkında bilgilendirmek. Mantık, kümeler, fonksiyonlar, kardinalite kavramlarını öğretmek.
Course Description		Sembolik Mantık: önermeler, niceleyiciler, olumsuzluk, ispat yöntemleri. Kümeler Teorisi: küme, küme işlemleri, bağıntılar, denklik ve sıralama bağıntıları,fonksiyonlar, bileşke ve ters fonksiyonlar, ikili işlemler, latisler, Boole cebiri.Sayılabilirlik: sonlu ve sonsuz kümeler, sayılabilirlik, Cantor’s teoremleri. Sıralı kümeler: sıralama bağıntılı kümeler, Zorn leması.Doğal Sayılar: Peano aksiyonları, tümevarım prensipleri, Tam Sayılar: tam sayıların inşası, sıralama ve bölünebilme, kongrüanslar
Course Outcomes
Pre-requisite(s)
Required Facilities
Other
Textbook
Other References