Dersin Bilgileri

Dersin Adı	Türkçe	Soyut Matematik
	İngilizce	Abstract Mathematics
Dersin Kodu	MAT 175	Kredi	Ders (saat/hafta)	Uygulama (saat/hafta)	Labratuvar (saat/hafta)
Dönem	-	3	3	-	-
Dersin Dili		Türkçe
Dersin Koordinatörü		Sultan Erdoğan Demir
Dersin Amaçları		Öğrenciyi ispat teknikleri hakkında bilgilendirmek. Mantık, kümeler, fonksiyonlar, kardinalite kavramlarını öğretmek.
Dersin Tanımı		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
Dersin Çıktıları
Önkoşullar
Gereken Olanaklar
Diğer
Ders Kitabı		S. Galovich, “Introduction to Mathematical Structures”
Diğer Referanslar