Önermeleri simgesel biçimde gösterebilirler ve simgesel ifadeleri yorumlayabilirler.
Mantıksal sonuç çıkarmaların yanlış veya doğruluğunu belirleyebilirler.
Özyineli tanımlanan yapılar hakkında bilgilerini geliştirirler.
Algoritmik düşünme yeteneği kazanırlar.
Denklik bağıntıları ve Kısmi sıralamalar üzerine teorik bilgilere sahip olurlar, ilgili uygulama problemlerini çözebilirler.
Saymanın temel prensiplerini ve İleri sayma tekniklerini öğrenirler.
Çizge kuramının temel kavramları, yöntemleri ve uygulamaları hakkında bilgiler edinirler.
Ayrık yapıları ve ilgili yöntemleri, Bilgisayar Mühendisliği problemlerinin çözümü için uygulayabilirler.
Veriliş Biçimi
Yüz Yüze
Önkoşullar
Yok
Önerilen Dersler
Yok
Ders Tanımı
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 İçeriği
HAFTA
KONULAR
1. Hafta
Mantık. Önermeler. Mantıksal işlemler.
2. Hafta
Mantıksal denklik kuralları.
3. Hafta
Mantıksal sonuç çıkarma ve kuralları. Teoremlerin ispatı yöntemleri.