TÜRKÇE
ENGLISH
Genel Bilgi
| Birim | EĞİTİM FAKÜLTESİ |
| FELSEFE GRUBU ÖĞRETMENLİĞİ PR. | |
| Kod | FELZ208 |
| Ad | Sembolik Mantık 2 |
| Dönem | 2021-2022 Eğitim-Öğretim Yılı |
| Yarıyıl | 4. Yarıyıl |
| Süre (T+U) | 2-0 (T-U) (17 Hafta) |
| AKTS | 2 AKTS |
| Yerel Kredi | 2 Yerel Kredi |
| Eğitim Dil | Türkçe |
| Seviye | Lisans Dersi |
| Tür | Normal |
| Etiket | AE Alan Eğitimi Dersleri Z Zorunlu |
| Öğretim Şekli | Yüz Yüze Öğretim |
| Bilgi Paketi Koordinatörü | Arş.Gör. Dr. Ömer KIZILTAN |
| Dersin Öğretim Elemanı |
Arş.Gör. Dr. Ömer KIZILTAN
(Bahar)
(A Grubu)
(Sor. Öğr. Ele.)
|
Dersin Amacı / Hedefi
Doğruluk tablosu ve çözümleyici çizelge ile detaylı incelenemeyen önermelerin niceleyiciler/yüklemler mantığı ile ele alınmasını amaçlamaktadır.
Dersin İçeriği
Niceleyiciler mantığının temel özellikleri, niceleyiciler yoluyla önermelerin sembolleştirilmesi, ad ve yüklem sembolleri, nicelemeler mantığında doğruluk değeri, nicelemeler mantığında doğal türetim yöntemleri ile Quine metodu.
Dersin Ön Koşulu
Kaynaklar
Notlar
Dersin Öğrenme Çıktıları
| Sıra | Dersin Öğrenme Çıktıları |
|---|---|
| ÖÇ01 | Doğruluk fonksiyonunun yetersizliğini kavrar |
| ÖÇ02 | Niceleme mantığının ne olduğunu kavrar |
| ÖÇ03 | Ad sembolleri ve yüklem sembollerinin farkını kavrar |
| ÖÇ04 | Açık ve kapalı önerme farkını anlar |
| ÖÇ05 | Nicelemeler mantığında doğruluk değeri hesabı yapar |
| ÖÇ06 | Niceleme mantığında doğal türetim yöntemini kullanır |
Program Öğrenme Çıktıları ile İlişkisi
| Sıra | Tür | Program Öğrenme Çıktıları | Duzey |
|---|---|---|---|
| PÖÇ01 | - | Üç temel alanın (felsefe, sosyoloji, psikoloji) teorik alanda yapılan tartışmalarını günümüz sorunlarıyla ilişkilendirerek açıklar | 4 |
| PÖÇ02 | - | Geçmişten günümüze problemlerin farklılık gösterdiğini bilir ve bu konuları günümüz açısından inceler | 4 |
| PÖÇ03 | - | Üç temel alanın ( Felsefe, sosyoloji, psikoloji) gerekli kavramlarını tanımlar | 4 |
| PÖÇ04 | - | Çalışma alanında karşılaşılan sorunları anlar, çözer ve yönlendirir | 5 |
| PÖÇ05 | - | Teorik bilgileri ilgili disiplinlere ait bilgilerle bütünleştirerek yorumlar, çözümler ve yeni bilgiler oluşturur | 5 |
| PÖÇ06 | - | Felsefe, psikoloji ve sosyoloji alanındaki kaynaklarda yer alan temel sorunlarla ilgili araştırmalar yapar | 4 |
| PÖÇ07 | - | Eğitim ortamında ve günlük yaşamında karşılaştığı sorunları felsefe, sosyoloji ve psikoloji penceresinden bakar ve değerlendirir | 5 |
| PÖÇ08 | - | Alanıyla ilgili bilgi birikimini ve karşılaşılan sorunlara yönelik çözüm önerilerini sistematik ve tutarlı bir biçimde yazılı ve sözlü olarak ortaya koyar | 4 |
| PÖÇ09 | - | Bireysel olarak ve/veya bir ekip içinde, sorumluluk alır, liderlik yapar ve etkin biçimde çalışır | 4 |
| PÖÇ10 | - | İnsan, toplum ve değerlere yönelik problemleri bağımsız olarak ele alır | 4 |
| PÖÇ11 | - | Alanıyla ilgili basılı ve diğer bilgi kaynaklarına ulaşabilir ve kullanabilir | 5 |
| PÖÇ12 | - | Kendini geliştirmeye ve araştırmaya sürekli açık olur | 4 |
| PÖÇ13 | - | Toplumsal, felsefi ve edebi konulara duyarlılık gösterir | 5 |
| PÖÇ14 | - | Felsefe, sosyal bilimler, eğitim bilimleri ve eğitim teknolojileri ile ilgili bilgisayar yazılımı ve donanımı bilgisi ile birlikte basılı ve diğer bilgi kaynaklarını takip eder, ulaşabilir, kullanabilir ve etkili eğitim-öğretim yolları geliştirebilir | 4 |
| PÖÇ15 | - | Alanındaki bilgileri ve gelişmeleri takip etmek ve meslektaşları ile iletişim kurar | 4 |
| PÖÇ16 | - | Eleştirel, farklı ve yaratıcı düşünme ve çok boyutlu bakabilme becerisi kazanır | 4 |
| PÖÇ17 | - | Alanı ile ilgili bilgileri toplumsal sorumluluk bilinciyle, iş ve gündelik yaşamında kullanır | 5 |
Haftalık Akış
| Hafta | Konu | Ön Hazırlık | Yöntemler |
|---|---|---|---|
| 1 | Doğruluk fonksiyonun yetersiziliği ve niceleme mantığı | Konuyla ilgili kuramsal kısım okunacak | |
| 2 | Niceleyiciler niceleyicilerin sembolleştirilmesi | Konuyla ilgili kuramsal kısım okunacak | |
| 3 | Sembolleştirilmiş niceleyicileri çözümleme kuralları | Konuyla ilgili kuramsal kısım okunacak | |
| 4 | Açık ve kapalı önerme; özelleme ve gerçekleme | Konuyla ilgili kuramsal kısım okunacak | |
| 5 | Sembolleştirme ve günlük dile çevirme | Konuyla ilgili kuramsal kısım okunacak | |
| 6 | Serbest ve bağlı değişkenler: yerine koyma | Konuyla ilgili kuramsal kısım okunacak | |
| 7 | Örnek soru çözümleri | Konuyla ilgili kuramsal kısım okunacak | |
| 8 | Ara Sınav | Sınava hazırlanma | |
| 9 | Niceleme mantığını çözümleyici çizelge ile denetlenmesi | Konuyla ilgili kuramsal kısım okunacak | |
| 10 | Niceleme mantığında bir önermenin tutarlılığı, birden fazla önermenin birbiriyle tutarlılığı | Konuyla ilgili kuramsal kısım okunacak | |
| 11 | Niceleme mantığında bir önermenin geçerliliği ve eşdeğerliliği | Konuyla ilgili kuramsal kısım okunacak | |
| 12 | Niceleme mantığında doğal türetim yöntemi | Konuyla ilgili kuramsal kısım okunacak | |
| 13 | Niceleme mantığında doğal türetim yöntemi | Konuyla ilgili kuramsal kısım okunacak | |
| 14 | Sadeleştirme Kanunları Quine metodu | Konuyla ilgili kuramsal kısım okunacak | |
| 15 | Örnek soru çözümleri | Konuyla ilgili kuramsal kısım okunacak | |
| 16 | Yarıyıl Sonu Sınavları | Sınava hazırlama | |
| 17 | Yarıyıl Sonu Sınavları | Yazılı sınav |
Değerlendirme (Sınav) Yöntemleri ve Kriterleri
| Değerlendirme Türü | Yarıyıl İçi / Yıl İçi Etkisi | Yarıyıl Sonu / Yıl Sonu Etkisi |
|---|---|---|
| 1. Ara Sınav | 100 | 40 |
| Genel Değerlendirme | ||
| Yarıyıl İçi / Yıl İçi Toplam | 100 | 40 |
| 1. Yıl Sonu Sınavı | - | 60 |
| Genel Toplam | - | 100 |
Öğrenci İş Yükü - AKTS
| Çalışmalar | Sayısı | Süresi (Saat) | İş Yükü (Saat) |
|---|---|---|---|
| Ders ile İlgili Çalışmalar | |||
| Ders (Sınav haftaları dahil değildir) | 14 | 2 | 28 |
| Sınıf Dışı Ders Çalışma (Ön çalışma, pekiştirme) | 14 | 2 | 28 |
| Değerlendirmeler ile İlgili Çalışmalar | |||
| Ödev, Proje, Diğer | 0 | 0 | 0 |
| Ara Sınavlar (Yazılı, Sözlü, vs.) | 1 | 2 | 2 |
| Yarıyıl/Yıl Sonu/Final Sınavı | 1 | 3 | 3 |
| Toplam İş Yükü (Saat) | 61 | ||
| Toplam İş Yükü / 25 (s) | 2,44 | ||
| AKTS | 2 AKTS | ||