CSE 173: Exam and Quizzes

Quiz 1

• Course Information

• Propositional Logic, Truth Table.

• Logical Equivalences.

• Predicate Logic, Quantifiers.

• Rules of Inference.

• Question

Quiz 2

• Proof by Contradiction

• Mathematical Induction

• Sequence, Summation

• Recursion

• Question

Quiz 3

• Functions

• Relations

• Question

Quiz 4

• Counting

• Basics of Graphs

Midterm

• Propositional logic and logical connectives, Truth Tables, Logical equivalence and related topics.

• Predicate logic and quantifiers.

• Rules of inference and its application in argument building, rules of inference for quantified statements.

• Resolution principle and its use to check validity (correctness) or satisfiability of any argument.

• Proof techniques: Direct Method, Contraposition, Contradiction, Proof by cases, Proofs by equivalence, Mathematical Induction.

• Conjunctive normal form (CNF) of a given expression.

• Proof Techniques

• Recursion

• Sums, Sequence, Sets

• Question

Final Exam (partially comprehensive)

• Proof Techniques

• Rules of inference and its application in argument building

• Basics of set theory– different types of sets, set operations, cartesian product etc.

• Functions

• Sequences and summations

• Relations

• Counting (Product rule, Sum rule, Inclusion-exclusion principle)

• Basics of Permutation and Combination

• Basics of Graphs

• Transforming English sentences using propositional and predicate logic