Code | Name of the Course Unit | Semester | In-Class Hours (T+P) | Credit | ECTS Credit |
---|---|---|---|---|---|
SOS384 | LOGIC II | 5 | 3 | 3 | 5 |
Objectives and Contents |
|
---|---|
Objectives: | 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. |
Content: | 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. |