Test 1
Chapters Covered
- ★ Chapter 1: Mathematical Logic
- * Formal symbols of Propositional logic
- Proposition
- Propositional variable
- Logical Connectives
- Truth Table
- * Translating into Propositional Logic
- * Tautology
- Tautology
- Contradiction
- Tautological Equivalences
- De Morgan's laws
- * Valid Argument
- * Derivation Rules
- Equivalence rules
- Inference rules
- Deduction Method
- * Verbal Arguments
- ★ Chapter 2: Induction and Proofs
- * Proof Techniques
- Disprove
- Exhaustive Proof
- Direct Proof
- Proof by Contraposition
- Proof by Contradiction
- * Induction
- First Principle of Induction
- ★ Chapter 3: Recursion and Recurrence Relations
- * Recursive Definitions
- Recursively Defined Sequences
- Recursive Algorithm in C++
- Iterative Algorithm in C++
- * Recurrence Relations
- Linear first-order recurrence relations with constant coefficients
- Closed-form solution to the recurrence relation
Test Format and Guidelines
- ★ Format: In-person, paper-and-pen exam
- ★ Closed Book: No textbooks, notes, or cheat sheets allowed
- ★ Test Duration: 60 minutes (10:20 AM to 11:20 AM)
- ★ Content Coverage: Ch1, Ch2, Ch3
- ★ Total points: 100.
- ★ Approximately 10 Short Answer Questions
- ★ Academic Integrity: No external aids or communication during the exam
Sample Questions
Study Materials