Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS |
---|---|---|---|---|---|
TÖAESEÇ010 | DİLDE MATEMATİKSEL GÖRÜNÜMLER | Seçmeli Ders Grubu | 3 | 6 | 4,00 |
Lisans
Türkçe
Bu dersin amacı , doğal dillerin temel işleyiş yasalarını oluşturan formal dillerin , yani mantık matematiğin temel kavramları aracılığıyla doğal dilin dizgesel yapısının anlaşılmasını sağlamaktır.
Doç.Dr. Soner Akşehirli
1 | Formal Dil ve Doğal Dil farkını kavrar. |
2 | Matematik ve dil arasında ilkesel ve dizgesel ilişkiyi kavrar. |
3 | Matematiğin temel kavramları ile dilbilgisel yapılar arasında ilişki kurabilir. |
Birinci Öğretim
yok
yok
Küme Kuramı Bağıntı ve Fonksiyonlar Yüklemlemeli Mantık Tür Kuramı
Hafta | Konular (Teorik) | Öğretim Yöntem ve Teknikleri | Ön Hazırlık |
---|---|---|---|
1 | İki tür dil: formal dil ve doğa dil | ||
2 | Küme Kuramı: Temel Kavramlar | ||
3 | Küme Kuramı: Kümelerin Gösterimi, Nicelik ve Özdeşlik | ||
4 | KÜme Kuramı: Kümeler Arası ilişkiler | ||
5 | Bağıntılar | ||
6 | Bağıntı Özellikler | ||
7 | Lambda İşleci ve Lambda Soyutlaması | ||
8 | ara sınav | ||
9 | Yüklemlemeli Mantık | ||
10 | Niceleme ve Niceleyiciler | ||
11 | Niceleme ve Niceleyiciler | ||
12 | Bağıntılar ve Yüklemler | ||
13 | Tür Kuramına Gitiş | ||
14 | Tümleme İlkesi ve Tümceler | ||
15 | Türler | ||
16 | Türler |
Özgen, M.(2022). Dilin Matematiği: Formal Anlambilime Giriş. Ankara: Nobel Yayınevi
Yarıyıl (Yıl) İçi Etkinlikleri | Adet | Değer |
---|---|---|
Ara Sınav | 1 | 40 |
Soru-Yanıt | 1 | 10 |
Ara Sınav İçin Bireysel Çalışma | 1 | 10 |
Okuma | 1 | 40 |
Toplam | 100 | |
Yarıyıl (Yıl) Sonu Etkinlikleri | Adet | Değer |
Final Sınavı | 1 | 60 |
Final Sınavı için Bireysel Çalışma | 1 | 10 |
Soru-Yanıt | 1 | 10 |
Okuma | 1 | 20 |
Toplam | 100 | |
Yarıyıl (Yıl) İçi Etkinlikleri | 40 | |
Yarıyıl (Yıl) Sonu Etkinlikleri | 60 |
yok
Etkinlikler | Sayısı | Süresi (saat) | Toplam İş Yükü (saat) |
---|---|---|---|
Ara Sınav | 1 | 2 | 2 |
Final Sınavı | 1 | 2 | 2 |
Soru-Yanıt | 1 | 2 | 2 |
Ara Sınav İçin Bireysel Çalışma | 1 | 20 | 20 |
Final Sınavı içiin Bireysel Çalışma | 1 | 30 | 30 |
Okuma | 4 | 18 | 72 |
Toplam İş Yükü (saat) | 128 |
PÇ 1 | PÇ 2 | PÇ 3 | PÇ 4 | PÇ 5 | PÇ 6 | PÇ 7 | PÇ 8 | PÇ 9 | PÇ 10 | PÇ 11 | |
ÖÇ 1 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 |
ÖÇ 2 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 |
ÖÇ 3 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 |