Matematiksel Mantık(PH413)
| Ders Kodu | Dersin Adı | Yarıyıl | Teori | Uygulama | Lab | Kredisi | AKTS |
|---|---|---|---|---|---|---|---|
| PH413 | Matematiksel Mantık | 7 | 3 | 0 | 0 | 3 | 4 |
| Ön Koşul | |
| Derse Kabul Koşulları |
| Dersin Dili | Türkçe |
| Türü | Seçmeli |
| Dersin Düzeyi | Lisans |
| Dersi Veren(ler) | T.necati ILGICIOĞLU nilgicioglu@gsu.edu.tr (Email) |
| Dersin Yardımcıları | |
| Dersin Amacı | |
| İçerik | Doğal ve kısıtsız küme teorik yöntemleri içeren matematiksel mantığın bazı ana konularına giriş. |
| Dersin Öğrenme Çıktıları | |
| Öğretim Yöntemleri | |
| Kaynaklar |
Introduction to Mathematical Logic - Elliott MENDELSON Logique mathématique 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés - René CORI ; Daniel LASCAR Logique mathématique 2, Fonctions récursives théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés - René CORI, Daniel LASCAR Naïve Set Theory - Paul R. HALMOS |
Teori Konu Başlıkları
| Hafta | Konu Başlıkları |
|---|---|
| 1 | Sıra |
| 2 | Önerme eklemleri. Doğruluk fonksiyonları. |
| 3 | Totolojiler. |
| 4 | Yeterli eklem kümeleri. |
| 5 | Önermeler mantığı için bir aksiyom sistemi. |
| 6 | Bağımsızlık. Çok değerli mantıklar. |
| 7 | Diğer aksiyomatizasyonlar. |
| 8 | Niceleyiciler. |
| 9 | Yorumlar. Tatmin ve doğruluk. Modeller. |
| 10 | Birinci dereceden teoriler. |
| 11 | Birinci dereceden teorilerin özellikleri. |
| 12 | Tamlık teoremleri. |
| 13 | Bazı ek metateoremler. Kural C. |
Uygulama Konu Başlıkları
| Hafta | Konu Başlıkları |
|---|
Başarı Notuna Etki Oranları
| Sayı | Katkı Payı | |
|---|---|---|
| Yarıyıl içi çalışmaların başarı notuna katkısı | 1 | 40 |
| Yarıyıl sonu çalışmaların başarı notuna katkısı | 1 | 60 |
| Toplam | 2 | 100 |
Yarıyıl İçi Çalışmaları
| Sayı | Katkı Payı | |
|---|---|---|
| Ödevler | 0 | 0 |
| Sunum | 0 | 0 |
| Arasınavlar (Hazırlık Süresi Dahil) | 0 | 0 |
| Proje | 0 | 0 |
| Laboratuar | 0 | 0 |
| Diğer Uygulamalar | 0 | 0 |
| Kısa Sınavlar | 0 | 0 |
| Dönem Ödevi / Projesi | 0 | 0 |
| Portfolyo Çalışmaları | 0 | 0 |
| Raporlar | 0 | 0 |
| Öğrenme Günlükleri | 0 | 0 |
| Bitirme Tezi/Projesi | 0 | 0 |
| Seminer | 0 | 0 |
| Diğer | 0 | 0 |
| Toplam | 0 | 0 |
| Numara | Program Yeterlilikleri | Puan | ||||
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | 5 | ||
| 1 | Felsefe metinlerini mantıksal çözümlemeye tâbi tutabilir, eleştirel ve analitik zekâya sahip olur; | X | ||||
| 2 | Antik Çağ’dan 20. Yüzyıla kadar felsefe tarihine dair kapsamlı bilgi sahibi olur; | |||||
| 3 | Etik, Estetik, Bilim Tarihi, Toplum Felsefesi gibi sistematik felsefe disiplinlerinde bilgi edinir ve uzmanlaşma sağlar; | |||||
| 4 | Felsefenin, Tarih, Psikoloji, Antropoloji, Sosyoloji ve pozitif bilimler gibi felsefe dışı disiplinlerle ilişkisini kurabilir; | |||||
| 5 | Siyaset kuramlarının öğrenir, tarihi ve güncel olayları felsefi bakış açısıyla değerlendirebilir; | |||||
| Etkinlikler | Sayı | Süre | Toplam İş Yükü |
|---|---|---|---|
| Ders Süresi | 13 | 3 | 39 |
| Sınıf Dışı Çalışma Süresi | 13 | 3 | 39 |
| Arasınavlar (Hazırlık Süresi Dahil) | 1 | 10 | 10 |
| Yarıyıl Sonu Sınavı (Hazırlık Süresi Dahil) | 1 | 12 | 12 |
| Toplam İş Yükü | 100 | ||
| Toplam İş Yükü / 25 | 4,00 | ||
| Dersin AKTS Kredisi | 4 | ||