GERİ DÖN
Ders Öğretim Planı
| Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS |
|---|---|---|---|---|---|
| 9101075242000 | Modal Lojiğe Giriş II | Seçmeli Ders Grubu | 1 | 2 | 8,00 |
Dersin Seviyesi
Yüksek Lisans
Dersin Sunulduğu Dil
Türkçe
Dersin Amacı
Bu dersin amacı öğrencilere Modal Logic 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
Tamlık (Kanonik Modeller, Uygulamalar, Limitative Sonuçlar, Kanonik Modelleri Dönüştürme, Tanımlanamazlık İçin Kurallar, Finitary Yöntemi); Cebir ve Genel Çatılar (Cebir Olarak Mantık, Cebir ve Modal Lojik, Jonsson-Tarski Teoremi, Dality Teoremi, Genel Çatılar); Modal Lojik Genişlemeleri.
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Konular (Teorik) | Öğretim Yöntem ve Teknikleri | Ön Hazırlık |
|---|---|---|---|
| 1 | Tamlık (Kanonik Modeller) | ||
| 2 | Tamlık (Uygulamalar) | ||
| 3 | Tamlık (Limitative Sonuçlar, Kanonik Modelleri Dönüştürme) | ||
| 4 | Tamlık (Kanonik Modelleri Dönüştürme, Tanımlanamazlık İçin Kurallar) | ||
| 5 | Tamlık (Finitary Yöntemi) | ||
| 6 | Tamlık (Finitary Yöntemi) | ||
| 7 | Cebir ve Genel Çatılar (Cebir Olarak Mantık) | ||
| 8 | Ara Sınav | ||
| 9 | Cebir ve Genel Çatılar (Cebir ve Modal Lojik) | ||
| 10 | Cebir ve Genel Çatılar (Jonsson-Tarski Teoremi) | ||
| 11 | Cebir ve Genel Çatılar (Dality Teoremi) | ||
| 12 | Cebir ve Genel Çatılar (Genel Çatılar) | ||
| 13 | Modal Lojik Genişlemeleri. | ||
| 14 | Modal Lojik Genişlemeleri. | ||
| 15 | Modal Lojik Genişlemeleri. | ||
| 16 | Final Sınavı |
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
1. Partick Blackburn, Maarten de Rijke, Yde Venema, “Modal Logic”, Cambridge University Press, (2001). 2. Alexander Chagrov, Michael Zakharyaschev, Modal Logic, Clanrendon Press, Oxford, (1997).
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 | 5 | 4 | 4 | ||||
| ÖÇ 2 | 5 | 4 | 4 | ||||
| ÖÇ 3 | 5 | 4 | 4 | ||||
| ÖÇ 4 | 5 | 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