ITCS254/258

- Join Live with Google Meet
- Whatsapp Group
Syllabus
- ITCS258_ITCS254__S2
1.1 Propositional Logic
- (VIDEO) 1.1 Propositional Logic
- (NOTE) 1.1 Propositional Logic
- 1.1 Propositional Logic - Solve Exercises
1.3 Propositional Equivalences
- (NOTE) 1.3 Propositional-Equivalences
- (VIDEO) 1.3 Propositional-Equivalences
- (VIDEO) 1.3 Propositional-Equivalences - Solve Exercises
- Additional Solved Exercises
1.4 Predicates and Quantifiers
- (VIDEO) 1.4 Predicates and Quantifiers - part1
- (VIDEO) 1.4 Predicates and Quantifiers - part2
- Solved Exercises
- (VIDEO) 1.4 Predicates and Quantifiers - part3
1.5 Nested Quantifiers
- (VIDEO) 1.5 Nested Quantifiers - part1
- section 1.5 solved exercises part 1
- (VIDEO) 1.5 Nested Quantifiers - part2
1.6 Rules of Inference
- (VIDEO) 1.6 Rules of Inference
- section 1_6 solved exercises part 1
Test1 Revision
- Test1 Revision
- Test1 Revision
2.1 Sets
- 2.1 Sets