Matematik
Matematiksel Mantık
Mathematical Logic alanının bir parçası, seviye 3. Aşağıdaki konular boyunca yaklaşık 12 saatlik çalışma.
Propositional Logic
- Önermeler ve Bağlaçlarand, or, not, implies, iff; atomic vs compound statements1.5–3 sa
- Doğruluk Tablolarıconstructing tables, logical equivalence, tautology and contradiction1.5–3 sa
- Mantıksal Eşdeğerlikler ve YasalarDe Morgan, distributive, implication rewrite, negation of implication1.5–3 sa
Predicate Logic
- Niteleyiciler (Kuantorlar)universal and existential, nested quantifiers, domain of discourse1.5–3 sa
- Niteleyici Önermelerin Çevirisi ve Olumsuzuorder of quantifiers, vacuous truth1.5–3 sa
Rules of Inference
- Çıkarım Kurallarımodus ponens, modus tollens, hypothetical syllogism, reductio ad absurdum1.5–3 sa
- Geçerli Argümanlar ve Yanılgılarproving validity, common formal fallacies1.5–3 sa
- Biçimsel Sistemlere Girişaxioms, rules, consistency and completeness concepts1.5–3 sa