Bilgi Paketi / Ders Kataloğu
Önermeler Mantığı
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
Amaç

Sebep sonuç ilişkilerinin çıkarımlarını yapabilme. Mantıksal ispat yapabilme

Özet İçerik

Önermeler ve ispat tekniklerini yapabilme. Gödel ve Curch Teoremlerine hazırlık yapabilme

Dersi Veren Öğretim Görevlisi/Görevlileri