Week - 1 |
Basic Concepts |
Week - 2 |
Basic Concepts |
Week - 3 |
Propositional Operators |
Week - 4 |
Propositional Operators |
Week - 5 |
Symbolization and Translation |
Week - 6 |
Symbolization and Translation |
Week - 7 |
Midterm exam |
Week - 8 |
Analytic Tableau Method in Propositional Logic |
Week - 9 |
Predicates and Quantifiers |
Week - 10 |
Predicates and Quantifiers |
Week - 11 |
Interpreting Quantified Propositions |
Week - 12 |
Interpreting Quantified Propositions |
Week - 13 |
Symbolization and Translation in Quantificational Logic |
Week - 14 |
Final Exam |