| Ders Adı | Kodu | Yarıyıl | T+U Saat | Kredi | AKTS |
|---|---|---|---|---|---|
| Sembolik Mantık | SOS218 | 4. Yarıyıl | 4 + 0 | 4,0 | 6,0 |
| Ön Koşullar | Yok |
| Dersin Dili | Türkçe |
| Dersin Seviyesi | Lisans |
| Dersin Türü | Ders |
| Dersin Verilişi | |
| Dersin Koordinatörü |
Doç. Dr. Adnan ESENYEL |
| Dersi Verenler | |
| Dersin Yardımcıları | |
| Dersin Amacı | Sembolik mantığın temel kavramlarını açıklamak; simgeleştirme, kümeler mantığı, kavramların sembolleştirilmesi, niceleyiciler, doğrulayıcı çizelge ile tutarlılık, geçerlilik ve eşdeğerliğin denetlenmesi, çözümleyici çizelge ile tutarlılık, sembolik mantık uygulamaları, elektrik devreleri ve bilgisayar mantığı konularında bilgi edinmek. |
| Dersin İçeriği | |
| Ders Öğrenme Kazanımları |
- Sembolik mantığın temel kavramlarını açıklayabilme - Sembolik önermeler mantığını kullanarak günlük dildeki akıl yürütmeleri çözümleyebilme. - Önermeler mantığında doğruluk tablosu yöntemini kullanarak önerme ve çıkarımları çözümleyebilme - Türetim hatalarını çözümleyebilme |
| Hafta | Konular | Öğretim Yöntemleri |
|---|---|---|
| 1. Hafta | Önermeler mantığı | |
| 2. Hafta | Doğruluk tablosu | |
| 3. Hafta | Çözümleyici çizelge | |
| 4. Hafta | Çözümleyici çizelge | |
| 5. Hafta | Niceleme mantığı | |
| 6. Hafta | Çok değerli mantık | |
| 7. Hafta | Matematik dilinin sembolleştirilmesi | |
| 8. Hafta | Arasınav | |
| 9. Hafta | İspat yöntemleri | |
| 10. Hafta | Mantık ve doğa bilimleri | |
| 11. Hafta | Elektrik devreleri | |
| 12. Hafta | Mantık felsefesi | |
| 13. Hafta | Özdeşlik mantığı | |
| 14. Hafta | Kipler mantığı |
| • Mantık, Kadir Çüçen, Sentez Yayıncılık |
| • Mantık, Doğan Özlem, Nodos Yayınları |
| • Klasik Mantık, Prof. Dr. Necati Önder, Vadi Yayınları |
| • Ana Hatlarıyla Klasik Mantık, İbrahim Emiroğlu, Asa Kitabevi |
| Program Yeterlilik | Katkı Düzeyi | DK1 | DK2 | DK3 | DK4 | Ölçme Yöntemi |
|---|---|---|---|---|---|---|
| PY1 | 3 | 0 | 0 | 0 | 0 | - |
| PY2 | 3 | 0 | 0 | 0 | 0 | - |
| PY3 | 2 | 0 | 0 | 0 | 0 | - |
| PY4 | 2 | 0 | 0 | 0 | 0 | - |
| PY5 | 4 | 0 | 0 | 0 | 0 | - |
| PY6 | 4 | 0 | 0 | 0 | 0 | - |
| PY7 | 3 | 0 | 0 | 0 | 0 | - |
| PY8 | 3 | 0 | 0 | 0 | 0 | - |
| PY9 | 3 | 0 | 0 | 0 | 0 | - |
| PY10 | 4 | 0 | 0 | 0 | 0 | - |
| PY11 | 4 | 0 | 0 | 0 | 0 | - |
| PY12 | 4 | 0 | 0 | 0 | 0 | - |
| PY13 | 5 | 0 | 0 | 0 | 0 | - |
| PY14 | 3 | 0 | 0 | 0 | 0 | - |
| 0 | 1 | 2 | 3 | 4 | 5 | |
|---|---|---|---|---|---|---|
| Ders Katkı Düzeyi | Yok | Çok Düşük | Düşük | Orta | Yüksek | Çok Yüksek |
| Ölçme Yöntemi | Yazılı sınav | Sözlü sınav | Ödev/Proje | Laboratuvar Çalışması | Sunum /Seminer |
| Etkinlik | Sayısı | Süresi (Saat) | Toplam İş Yükü (Saat) |
|---|---|---|---|
| Ders Saati | 14 | 3 | 42 |
| Ön Hazırlık, Pekiştirme Çalışmaları | 14 | 3 | 42 |
| Araştırma | 13 | 2,2 | 28,6 |
| Diğer Faaliyetler | 13 | 2,8 | 36,4 |
| Ara Sınav 1 | 1 | 2 | 2 |
| Final | 1 | 2 | 2 |
| Toplam İş Yükü | 153 | ||
| Dersin AKTS Kredisi | 6,0 | ||
