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ü		Atabey Kaygun
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” J. P. D'Angelo ve D. B. West "Mathematical Thinking Problem Solving and Proofs"
Diğer Referanslar