GERİ DÖN
Ders Öğretim Planı
| Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS |
|---|---|---|---|---|---|
| 9101076172013 | Modeller Teorisi I | Seçmeli Ders Grubu | 1 | 1 | 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
Birinci Öğretim
Dersin Ön Koşulu Olan Dersler
-
Ders İçin Önerilen Diğer Hususlar
-
Dersin İçeriği
Yapılar, Homomorfizmalar ve Yapılar, Terimler ve Atomik Formüller, Parametreler ve Diagramlar, Kanonik Modeller, Yapıların Sınıflandırılması, Tanımlanabilir Alt Kümeler, Tanımlanabilir Yapılar Sınıfı, Dönüşümler ve Dönüşümleri Koruyan Formüller, Dönüşümlerin Formüller ile Sınıflandırılması, Çeviriler, Niceleyicilerin Elenmesi, Skolem Teoremleri, Back-and-forth denkliği, Elemanter Denklik için Oyunlar, Kapalı Oyunlar, Otomorfizmalar, Tercümeler
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Konular (Teorik) | Öğretim Yöntem ve Teknikleri | Ön Hazırlık |
|---|---|---|---|
| 1 | Yapılar, Homomorfizmalar ve Yapılar, Terimler ve Atomik Formüller | ||
| 2 | Parametreler ve Diagramlar, Kanonik Modeller | ||
| 3 | Yapıların Sınıflandırılması, Tanımlanabilir Alt Kümeler, Tanımlanabilir Yapılar Sınıfı | ||
| 4 | Dönüşümler ve Dönüşümleri Koruyan Formüller, Dönüşümlerin Formüller ile Sınıflandırılması, Çeviriler | ||
| 5 | Niceleyicilerin Elenmesi | ||
| 6 | Skolem Teoremleri | ||
| 7 | Back-and-forth denkliği | ||
| 8 | Ara Sınav | ||
| 9 | Elemanter Denklik için Oyunlar, Kapalı Oyunlar | ||
| 10 | Otomorfizmalar | ||
| 11 | Otomorfizmalar | ||
| 12 | Otomorfizmalar | ||
| 13 | Tercümeler | ||
| 14 | Tercümeler | ||
| 15 | Tercümeler | ||
| 16 | Final Sınavı |
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
1. 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
-
İş 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 |
| Derse Katılım | 16 | 3 | 48 |
| Ara Sınav İçin Bireysel Çalışma | 1 | 75 | 75 |
| Final Sınavı içiin Bireysel Çalışma | 1 | 100 | 100 |
| Toplam İş Yükü (saat) | 227 | ||
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