GERİ DÖN
Ders Öğretim Planı
| Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS |
|---|---|---|---|---|---|
| 9101076261998 | Modeller Teorisi II | Seçmeli Ders Grubu | 1 | 2 | 8,00 |
Dersin Seviyesi
Doktora
Dersin Sunulduğu Dil
Türkçe
Dersin Amacı
Bu dersin amacı öğrencilere Modeller Teorisi hakkında ayrıntılı bilgi vermektir.
Dersi Veren Öğretim Görevlisi/Görevlileri
Doç. Dr. Tahsin ÖNER
Öğrenme Çıktıları
| 1 | Tanımlar, teoremler ve kanıtlar hakkında temel bilgileri edinebilme. |
| 2 | İspat yöntemlerini kavrayabilme. |
| 3 | Problem çözmede uygun yaklaşımları tasarlayabilme. |
| 4 | Teorem ve problemleri örneklendirebilme. |
| 5 | Soyut düşünme becerisini problem çözmeye uygulayabilme. |
Öğretim Sistemi
Dersin Ön Koşulu Olan Dersler
Yok
Ders İçin Önerilen Diğer Hususlar
Yok
Dersin İçeriği
Birinci mertebe lojik için tamlık, Boolean Cebiri ve Stone uzayları, Tipler, Elemanter birleşme, Dil genişlemeleri, Sağlamlık, Sayılabilir durum, Varlık durumu, Horn Durumu: Sonuçlar, Saturasyon.
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Konular (Teorik) | Öğretim Yöntem ve Teknikleri | Ön Hazırlık |
|---|---|---|---|
| 1 | Birinci mertebe lojik için tamlık | ||
| 2 | Boolean Cebiri ve Stone uzayları | ||
| 3 | Tipler, Elemanter birleşme | ||
| 4 | Dil genişlemeleri, Sağlamlık | ||
| 5 | Sayılabilir durum | ||
| 6 | Sayılabilir durum | ||
| 7 | Sayılabilir durum | ||
| 8 | Ara sınav | ||
| 9 | Varlık durumu | ||
| 10 | Varlık durumu | ||
| 11 | Horn Durumu: Sonuçlar | ||
| 12 | Horn Durumu: Sonuçlar | ||
| 13 | Saturasyon | ||
| 14 | Saturasyon | ||
| 15 | Saturasyon | ||
| 16 | Final Sınavı |
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
Wilfrid Hodges, “Model Theory”, Cambridge Press, (1994).
Planlanan Öğrenme Aktiviteleri ve Metodları
Etkinlikler ayrıntılı olarak "Değerlendirme" ve "İş Yükü Hesaplaması" bölümlerinde verilmiştir.
Değerlendirme
| Yarıyıl (Yıl) İçi Etkinlikleri | Adet | Değer |
|---|---|---|
| Ara Sınav | 1 | 100 |
| Toplam | 100 | |
| Yarıyıl (Yıl) Sonu Etkinlikleri | Adet | Değer |
| Final Sınavı | 1 | 100 |
| Toplam | 100 | |
| Yarıyıl (Yıl) İçi Etkinlikleri | 40 | |
| Yarıyıl (Yıl) Sonu Etkinlikleri | 60 | |
Staj Durumu
Yok
İş Yükü Hesaplaması
| Etkinlikler | Sayısı | Süresi (saat) | Toplam İş Yükü (saat) |
|---|---|---|---|
| Ara Sınav | 1 | 2 | 2 |
| Final Sınavı | 1 | 2 | 2 |
| Quiz | 1 | 1 | 1 |
| Derse Katılım | 16 | 3 | 48 |
| Alan Çalışması | 4 | 20 | 80 |
| Ara Sınav İçin Bireysel Çalışma | 1 | 30 | 30 |
| Final Sınavı içiin Bireysel Çalışma | 1 | 40 | 40 |
| Quiz için Bireysel Çalışma | 1 | 22 | 22 |
| Toplam İş Yükü (saat) | 225 | ||
Program ve Öğrenme Çıktıları İlişkisi
| PÇ 1 | PÇ 2 | PÇ 3 | PÇ 4 | PÇ 5 | PÇ 6 | PÇ 7 | |
| ÖÇ 1 | 4 | 4 | 4 | ||||
| ÖÇ 2 | 4 | 4 | 4 | ||||
| ÖÇ 3 | 4 | 4 | 4 | ||||
| ÖÇ 4 | 4 | 4 | 4 | ||||
| ÖÇ 5 | 4 | 4 | 4 |
* Katkı Düzeyi : 1 Çok düşük 2 Düşük 3 Orta 4 Yüksek 5 Çok yüksek