Bu dersin sonunda öğrenciler; 1) Önermeleri simgesel biçimde gösterebilirler ve simgesel ifadeleri yorumlayabilirler. 2) Mantıksal sonuç çıkarmaların yanlış veya doğruluğunu belirleyebilirler. 3) Özyineli tanımlanan yapılar hakkında bilgilerini geliştirirler. 4) Algoritmik düşünme yeteneği kazanırlar. 5) Denklik bağıntıları ve Kısmi sıralamalar üzerine teorik bilgilere sahip olurlar, ilgili uygulama problemlerini çözebilirler. 6) Saymanın temel prensiplerini ve İleri sayma tekniklerini öğrenirler. 7) Çizge kuramının temel kavramları, yöntemleri ve uygulamaları hakkında bilgiler edinirler. 8) Ayrık yapıları ve ilgili yöntemleri, Bilgisayar Mühendisliği problemlerinin çözümü için uygulayabilirler.
DERSİN VERİLİŞ BİÇİMİ
Yüz Yüze
DERSİN ÖNKOŞULLARI
Yok
ÖNERİLEN DERSLER
Yok
DERS TANIMI
Mantık. Mantıksal işleçler ve mantık kuralları. Niceleyiciler. Küme kavramı, alt kümeler ve kümeler üzerinde işlemler. Sayma prensipleri. Güvercin yuvası prensibi. Tamsayılar, tümevarım. Bağıntılar ve fonksiyonlar. Bağıntılar üzerinde işlemler. Kısmi sıralama. Kafes kavramı. Boole cebiri. Çizge kuramı. Euler ve Hamilton yol ve devreleri. Ağaçlar, ağaç üzerinde arama, ikili ağaç yapısı. Gruplar ve kodlama teorisi.
DERS İÇERİĞİ
HAFTA
KONULAR
1. Hafta
Mantık
2. Hafta
Mantıksal işleçler ve mantık kuralları
3. Hafta
Niceleyiciler
4. Hafta
Küme kavramı, alt kümeler ve kümeler üzerinde işlemler
5. Hafta
Sayma prensipleri
6. Hafta
Güvercin yuvası prensibi
7. Hafta
Tamsayılar, tümevarım
8. Hafta
Ara-sınav
9. Hafta
Bağıntılar ve fonksiyonlar
10. Hafta
Kısmi sıralama ve Kafes kavramı
11. Hafta
Boole cebiri
12. Hafta
Çizge kuramı
13. Hafta
Euler ve Hamilton yol ve devreleri
14. Hafta
Ağaçlar, ağaç üzerinde arama, ikili ağaç yapısı. Gruplar ve kodlama teorisi.
ZORUNLU YA DA ÖNERİLEN KAYNAKLAR
1. Rosen K.H., Discrete Mathematics and Its Applications, 7/E, McGraw-Hill, 2012 2. Kolman B., Busby R.C., Ross S., Discrete Mathematical Structures, 6/E, Prentice Hall, 2008. 3. Grimaldi R.P., Discrete and Combinatorial Mathematics, 5/E, Addison Wesley, 2003