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