DERSİN TÜRÜ	Zorunlu
DERSİN DÜZEYİ	Lisans
DERSİN YILI	1
YARIYIL	Birinci Yarıyıl (Güz)
AKTS	5
ÖĞRETİM ELEMAN(LAR)I	-
DERSİN ÖĞRENME KAZANIMLARI	Bu dersin sonunda öğrenciler; 1) Önermeler cebirini bilir ve matematiksel ispat kavramını bilir ve uygular. 2) Kümeler ve kümeler arasındaki işlemleri kullanır. 3) Fonksiyon kavramını, fonksiyon çeşitlerini ve fonksiyonlardan yeni fonksiyonlar elde etme yollarını bilir. 4) Bağıntı kavramını ve denklik ve sıralama bağıntılarını bilir. 5) Grup yapısını ve yapıyı koruyan dönüşümleri bilir.
DERSİN VERİLİŞ BİÇİMİ	Yüz Yüze
DERSİN ÖNKOŞULLARI	Yok
ÖNERİLEN DERSLER	Yok
DERS TANIMI	Önermeler Cebiri, Bağlaçlar, Boole Polinomları, Matematiksel Kanıt, Niceleyiciler, Teoremler için ispat yolları, Küme kavramı ve kümeler cebiri, Küme aileleri, Çarpım Kümeler, Küme Dizileri, Kartezyen Çarpımlar, Grafikler, İzdüşümler, Bağıntılar, Bağıntıların Bileşkeleri, Bağıntı Türleri, Denklik bağıntıları, Sıralama Bağıntıları, Fonksiyon Kavramı, Örten, Bire-bir Fonksiyonlar, Fonksiyonların Bileşkesi, Ters Fonksiyonlar, Kısmi Sıralı Kümeler, Tam sıralı Kümeler, Kümeler Ailesinin Kartezyen Çarpımı, Sıra korur Fonksiyonlar, Sırasal Eşyapı Dönüşümler, Grup, Halka, Cisim, İzomorfizmler.
DERS İÇERİĞİ	HAFTA KONULAR 1. Hafta Önermeler, Önermeler Arasındaki İlişkiler 2. Hafta Geçerli Argümanlar, Niceleyiciler 3. Hafta Matematiksel İspat-Nedir? Niye İhtiyaç Duyarız? Doğrudan İspatlar Karşıt Ters ve Çelişki ile İspat 4. Hafta Durumlar ve Ancak ve Ancak Teoremlerdeki Niceleyiciler Matematik Nasıl Yazılır? 5. Hafta Kümeler-Temel Tanımlar Kümeler Arasındaki İşlemler 6. Hafta Damgalanmış Küme Aileleri 7. Hafta Fonksiyonlar Görüntü ve Ters Görüntü 8. Hafta Arasınav 9. Hafta Bileşke ve Ters Fonksiyonlar Birebir Fonksiyon, Örten Fonksiyon ve Birebir Örten Fonksiyon Fonksiyon Kümeleri 10. Hafta Bağıntılar Denklik Bağıntıları 11. Hafta Kümelerin Kardinalitesi Sayı Sistemlerinin Kardinalitesi 12. Hafta Matematiksel Tümevarım 13. Hafta İkili İşlemler Gruplar 14. Hafta Homomorfizmler ve İzomorfizmler Kısmi Sıralı Kümeler
ZORUNLU YA DA ÖNERİLEN KAYNAKLAR	1. E. D. Bloch, Proofs and Fundamentals, Birkhauser, 2000. 2. O. Özer, D. Çoker, K. Taş, Soyut Matematik, Bilim Yayıncılık, 2004. 3. A. Nesin, Önermeler Mantığı, Nesin Yayıncılık, 1. Basım, 2009. 4. A. Nesin, Sezgisel Kümeler Kuramı, Nesin Yayıncılık, 2. Basım, 2009. 5. T. Karaçay, Soyut Matematiğe Giriş, Kuban Matbaacılık Yayıncılık, 2. Basım, 2009. 6. H. Irmak, Soyut Matematik, Pegem Akademi, 1. Basım, 2008.
ÖĞRETİM YÖNTEM VE TEKNİKLERİ	Anlatım,Diğer
DEĞERLENDİRME YÖNTEMİ VE GEÇME KRİTERLERİ	Sayısı Toplam Katkısı(%) Ara Sınav 1 30 Ödev 2 20 Toplam(%) 50 Yıl İçinin Başarıya Oranı(%) 50 Finalin Başarıya Oranı(%) 50 Toplam(%) 100
DİL	Türkçe
STAJ / UYGULAMA	Yok