Kod |
Ders Adı |
Dili |
Türü |
BLG 112E |
Ayrık Matematik |
İngilizce |
Zorunlu / Seçmeli |
Kredi |
AKTS |
Ders |
Uygulama |
Laboratuvar |
3 |
5 |
3 |
0 |
0 |
Dersin Önşartı ve Sınıf Kısıtı |
Ders Önşartı |
Yok |
Sınıf Kısıtı |
Yok |
Ders 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.
|
|