Öğretim Programları Hakkında Bilgiler
| DERS BİLGİLERİ | |||||
|---|---|---|---|---|---|
| Ders | Kodu | Yarıyıl | Ders Süresi | Kredi | AKTS |
| Sembolik Mantık 2 | FELZ 208 | 4 | 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ü | Prof. Dr. Sadık Erol ER | |||
| Dersi Verenler |
|
|||
| Dersin Yardımcıları | ||||
| Dersin Amacı | 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 Öğrenme Kazanımları |
|---|
| 1) Doğruluk fonksiyonunun yetersizliğini kavrar |
| 2) Niceleme mantığının ne olduğunu kavrar |
| 3) Ad sembolleri ve yüklem sembollerinin farkını kavrar |
| 4) Açık ve kapalı önerme farkını anlar |
| 5) Nicelemeler mantığında doğruluk değeri hesabı yapar |
| 6) Niceleme mantığında doğal türetim yöntemini kullanır |
| 7) |
| 8) |
| 9) |
| 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 | Doğruluk fonksiyonun yetersiziliği ve niceleme mantığı | Konuyla ilgili kuramsal kısım okunacak | Anlatım Soru-Cevap |
| 2 | Niceleyiciler niceleyicilerin sembolleştirilmesi | Konuyla ilgili kuramsal kısım okunacak | Anlatım Soru-Cevap Alıştırma ve Uygulama |
| 3 | Sembolleştirilmiş niceleyicileri çözümleme kuralları | Konuyla ilgili kuramsal kısım okunacak | Anlatım Soru-Cevap Alıştırma ve Uygulama |
| 4 | Açık ve kapalı önerme; özelleme ve gerçekleme | Konuyla ilgili kuramsal kısım okunacak | Anlatım Soru-Cevap Alıştırma ve Uygulama |
| 5 | Sembolleştirme ve günlük dile çevirme | Konuyla ilgili kuramsal kısım okunacak | Anlatım Alıştırma ve Uygulama |
| 6 | Serbest ve bağlı değişkenler: yerine koyma | Konuyla ilgili kuramsal kısım okunacak | Anlatım Alıştırma ve Uygulama |
| 7 | Örnek soru çözümleri | Konuyla ilgili kuramsal kısım okunacak | Anlatım Alıştırma ve Uygulama |
| 8 | Ara Sınav | Sınava hazırlanma | Yazılı Sınav |
| 9 | Niceleme mantığını çözümleyici çizelge ile denetlenmesi | Konuyla ilgili kuramsal kısım okunacak | Anlatım Alıştırma ve Uygulama |
| 10 | Niceleme mantığında bir önermenin tutarlılığı, birden fazla önermenin birbiriyle tutarlılığı | Konuyla ilgili kuramsal kısım okunacak | Anlatım Alıştırma ve Uygulama |
| 11 | Niceleme mantığında bir önermenin geçerliliği ve eşdeğerliliği | Konuyla ilgili kuramsal kısım okunacak | Anlatım Alıştırma ve Uygulama |
| 12 | Niceleme mantığında doğal türetim yöntemi | Konuyla ilgili kuramsal kısım okunacak | Anlatım Alıştırma ve Uygulama |
| 13 | Niceleme mantığında doğal türetim yöntemi | Konuyla ilgili kuramsal kısım okunacak | Anlatım Alıştırma ve Uygulama |
| 14 | Sadeleştirme Kanunları Quine metodu | Konuyla ilgili kuramsal kısım okunacak | Anlatım Alıştırma ve Uygulama |
| 15 | Örnek soru çözümleri | Konuyla ilgili kuramsal kısım okunacak | Anlatım Alıştırma ve Uygulama |
| 16-17 | Yarıyıl Sonu Sınavları | Sınava hazırlama | Yazılı Sınav |
| KAYNAKLAR | |
|---|---|
| Ders Notu | |
| Diğer Kaynaklar | |
