BLG 112E - Ayrık Matematik

Dersin Amaçları

Ayrık matmatiğin temel kavramlarını öğrenciye öğretmek.

Dersin Tanımı

Ö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.