CEN 112E - Ayrık Matematik

Dersin Amaçları

Bilgisayar mühendisliğinin çalışma alanlarında gerekli olan temel matematiksel yapıları ve yöntemleri öğretmek. Matematiksel modelleme ve soyut düşünme yeteneğini geliştirmek. Biçimsel sistemlerin önemini ve uygulamalarını tanıtmak.

Dersin Tanımı

Sayma. Önermeler, çıkarsama kuralları, yüklemler, niceleyiciler, kümeler. Tanıtlama yöntemleri, çelişkiyle tanıtlama, tümevarım. Bağıntılar, fonksiyonlar, güvercin deliği ilkesi. Çizgeler, ağaçlar. Cebirsel yapılar, kısmı sıralı kümeler, kafesler.