GERİ DÖN
Ders Öğretim Planı
| Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS |
|---|---|---|---|---|---|
| 9101075602004 | Lojiğe Giriş ve İspat Teorisi 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ı ispat kavramının matematiğin temellerinin anlaşılabilmesi için en önemli kavramı ve mantıksal akıl yürütmenin soyutlama düzeyindeki katkısı matematiği anlamada temel olduğunu göstermektir.
Dersi Veren Öğretim Görevlisi/Görevlileri
Doç. Dr. Tahsin ÖNER
Öğrenme Çıktıları
| 1 | Daha sonra alınacak lojik derslerini kavrayabilme becerisini geliştirebilme. |
| 2 | Problem üretme ve çözme becerilerini geliştirebilme. |
| 3 | Matematiğin doğasında barındırdığı felsefeyi kavrayabilme ve matematik hakkında konuşabilme becerisi geliştirebilme. |
Öğretim Sistemi
Birinci Öğretim
Dersin Ön Koşulu Olan Dersler
-
Ders İçin Önerilen Diğer Hususlar
-
Dersin İçeriği
Minimal Lojik, Sezgi Lojiği, Kripke Modelleri, Heyting Aritmetiği; Yüksek Mertebeden Lojikler, Doğrudan İspatlar, Tablolar Yöntemi.
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Konular (Teorik) | Öğretim Yöntem ve Teknikleri | Ön Hazırlık |
|---|---|---|---|
| 1 | Minimal lojik | ||
| 2 | Minimal lojik | ||
| 3 | Sezgi Lojiği | ||
| 4 | Sezgi Lojiği | ||
| 5 | Sezgi Lojiği | ||
| 6 | Sezgisel önerme ve yüklemler mantığı | ||
| 7 | Kripke Modelleri | ||
| 8 | Ara Sınav | ||
| 9 | Heyting Aritmetiği | ||
| 10 | Yüksek Mertebeden Lojikler | ||
| 11 | Yüksek Mertebeden Lojikler | ||
| 12 | Doğrudan İspatlar | ||
| 13 | Doğrudan İspatlar | ||
| 14 | Tablolar Yöntemi | ||
| 15 | Tablolar Yöntemi | ||
| 16 | Final Sınavı |
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
1. Dirk van Dalen, “Logic and Structure”, Springer, Fourth Edition, (2004). 2. René David, Karim Nour and Chiristophe Rafalli; “Introduction to Logic, Proof Theory”; 2nd Edition; Dunod, Paris, (2003).
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 |
* Katkı Düzeyi : 1 Çok düşük 2 Düşük 3 Orta 4 Yüksek 5 Çok yüksek