Öğ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) |
