Öğretim Programları Hakkında Bilgiler
| DERS BİLGİLERİ | |||||
|---|---|---|---|---|---|
| Ders | Kodu | Yarıyıl | Ders Süresi | Kredi | AKTS |
| Sembolik Mantık 1 | FELZ 207 | 3 | 2 | 2 | 2 |
| Ön Koşul Dersleri | |
| Ders Hakkında Önerilen Diğer Hususlar | None |
| Dersin Dili | Türkçe  |
|||
| Dersin Seviyesi | Lisans | |||
| Dersin Türü | Zorunlu | |||
| Dersin Koordinatörü | Ömer KIZILTAN | |||
| Dersi Verenler |
|
|||
| Dersin Yardımcıları | ||||
| Dersin Amacı | Modern mantıktaki yeni eğilimleri ve mantık teoremlerini ve sembollerini irdelemek. |
|||
| Dersin İçeriği | Doğruluk fonksiyonu mantığı problemleri, çözümleyici çizelge kuralları, çözümleyici çizelge denetleme yöntemlerini içermektedir. |
| Dersin Öğrenme Kazanımları |
|---|
| 1) Klasik mantık ile sembolik mantık farkını ayrıt eder |
| 2) Sembolik mantığın ana eklemlerini kavrar |
| 3) Sembolik mantıkta ara eklemleri bilir |
| 4) Sembolik mantıkta verilen günlük dil ifadesini sembolik dile çevirir. |
| 5) Sembolik dilde verilen bir önermeyi günlük dile çevirir |
| 6) Doğruluk fonksiyonu mantığında denetleme yöntemlerinin temellerini kavrar. |
| 7) Doğruluk fonksiyonu mantığı problemlerini çözer. |
| 8) Çözümleyici çizelge kurallarını uygular. |
| 9) Çözümleyici çizelge denetleme yöntemlerini uygular. |
| 10) |
| 11) |
| 12) |
| 13) |
| 14) |
| 15) |
| DERSİN PROGRAM KAZANIMLARINA KATKISI | |||||||
|---|---|---|---|---|---|---|---|
| No | Temel öğrenme Kazanımları | Katkı Düzeyi | |||||
| 1 | 2 | 3 | 4 | 5 | |||
| 1 | Üç temel alanın (felsefe, sosyoloji, psikoloji) teorik alanda yapılan tartışmalarını günümüz sorunlarıyla ilişkilendirerek açıklar |
||||||
| 2 | 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 |
||||||
| 3 | Üç temel alanın ( Felsefe, sosyoloji, psikoloji) gerekli kavramlarını tanımlar |
||||||
| 4 | Çalışma alanında karşılaşılan sorunları anlar, çözer ve yönlendirir |
||||||
| 5 | Teorik bilgileri ilgili disiplinlere ait bilgilerle bütünleştirerek yorumlar, çözümler ve yeni bilgiler oluşturur |
||||||
| 6 | Felsefe, psikoloji ve sosyoloji alanındaki kaynaklarda yer alan temel sorunlarla ilgili araştırmalar yapar |
||||||
| 7 | Eğitim ortamında ve günlük yaşamında karşılaştığı sorunları felsefe, sosyoloji ve psikoloji penceresinden bakar ve değerlendirir |
||||||
| 8 | 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 |
||||||
| 9 | Bireysel olarak ve/veya bir ekip içinde, sorumluluk alır, liderlik yapar ve etkin biçimde çalışır |
||||||
| 10 | İnsan, toplum ve değerlere yönelik problemleri bağımsız olarak ele alır |
||||||
| 11 | Alanıyla ilgili basılı ve diğer bilgi kaynaklarına ulaşabilir ve kullanabilir |
||||||
| 12 | Kendini geliştirmeye ve araştırmaya sürekli açık olur |
||||||
| 13 | Toplumsal, felsefi ve edebi konulara duyarlılık gösterir |
||||||
| 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 |
||||||
| 15 | Alanındaki bilgileri ve gelişmeleri takip etmek ve meslektaşları ile iletişim kurar |
||||||
| 16 | Eleştirel, farklı ve yaratıcı düşünme ve çok boyutlu bakabilme becerisi kazanır |
||||||
| 17 | Alanı ile ilgili bilgileri toplumsal sorumluluk bilinciyle, iş ve gündelik yaşamında kullanır |
||||||
| DERS AKIŞI | |||
|---|---|---|---|
| Hafta | Konular | Ön Hazırlık | Yöntem |
| 1 | Klasik mantık ve sembolik mantık farkı | yok | Anlatım Soru-Cevap Tartışma |
| 2 | Önermeler Mantığı: Önerme ve yapısı | Anlatım-tartışma | Anlatım Soru-Cevap Tartışma |
| 3 | Önerme eklemlerinin fonksiyonları ve sembolleştirme | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
| 4 | Doğruluk değeri analizi: karma doğruluk çizelgeler | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
| 5 | Önermelerin doğruluk değerini ve doğruluk fonksiyonu statülerini bulma | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
| 6 | Doğruluk değeri tablosunda önermlerin tutarlılığını ve geçerliliğini bulma | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
| 7 | Eşdeğerlik bulma, önerme kümelerinin tutarlılığını bulma | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
| 8 | Ara Sınav | yazılı sınav | Anlatım Soru-Cevap Tartışma |
| 9 | Ağaç yöntemi ile denetleme ve kuralları | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
| 10 | Önermelerin statülerini ağaç yöntemi ile bulma | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
| 11 | Önermelerin eşdeğerliğini ağaç yöntemi ile bulma | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
| 12 | Önerme kümelerinin tutarlığını ağaç yöntemi ile bulma | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
| 13 | Çıkarımların geçerliğini ağaç yöntemi ile bulma | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
| 14 | Genel alıştırmalar | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
| 15 | Genel değerlendirme | Anlatım-tartışma-problem çözme | Anlatım Soru-Cevap Tartışma |
| 16-17 | Yarıyıl Sonu Sınavları | yazılı sınav | Yazılı Sınav |
| KAYNAKLAR | |
|---|---|
| Ders Notu | |
| Diğer Kaynaklar | |
