Bilgi Paketi / Ders Kataloğu
| Ders Kodu | : MAT213 |
| Ders Türü | : Bölüm Seçmeli |
| Ders Grubu | : Lisans |
| Eğitim Dili | : Türkçe |
| Staj Durumu | : Yok |
| Teori | : 2 |
| Uyg. | : 0 |
| Kredi | : 2 |
| Laboratuvar | : 0 |
| AKTS | : 2 |
Sebep sonuç ilişkilerinin çıkarımlarını yapabilme. Mantıksal ispat yapabilme
Önermeler ve ispat tekniklerini yapabilme. Gödel ve Curch Teoremlerine hazırlık yapabilme