|
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 |