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