| Kodu | Dersin Adı | Yarıyıl | Süresi(T+U) | Kredisi | AKTS Kredisi |
|---|---|---|---|---|---|
| SOS384 | MANTIK II | 5 | 3 | 3 | 5 |
AMAÇ VE İÇERİK |
|
|---|---|
| Amaç: | Bu dersin amacı; öğrencilerin Klasik mantığın devamı olan ve 20. Yüzyılda geliştirilen sembolik / modern mantığı ana hatlarıyla tanıması, önermeleri doğruluk fonksiyonu ve niceleme mantığı kuralları içerisinde denetlemesini sağlamaktır. |
| İçerik: | Bu dersin içeriğini; önermeler kalkülünün kuruluşu, mantıksal değişmezler, doğruluk fonksiyonu tabloları, sembolik dil, doğruluk fonksiyonu mantığında denetleme, çözümleyici çizelge kuralları, çözümleyici çizelgeyle denetleme, niceleme mantığı – temel tanımlar ve kurallar, niceleme mantığında doğruluk değeri hesabı, niceleme mantığında çözümleyici çizelgeyle denetleme, tutarlılık, geçerlilik, eşdeğerlik, sembolleştirme ve denetleme konuları oluşturmaktadır. |