ICS253 Discrete Structure I Term 071

Note 10

Week 2

Mathematical Induction

First principal of mathematical Induction.

Note 9

Week 2

Sequence, summations, Infinite sets.

Note 8

Week 2

Functions; Types of Functions; Inverse and Composition Functions.

Note 7

Week 2

Set Operations; Set Identities; Generalized Unions and Intersections; Computer Representation of Sets; The cardinality of the union of sets.

Note 6

Week 2

Sets, Equal Sets, Subsets; Cardinality of Finite Sets; Power Sets; Cartesian Products.

Note 5

Week 4

Proof Strategy; Forward and Backward Reasoning; Leveraging Proof by Cases; Conjecture; Uniqueness Proofs; Additional Proof Methods.

Note 4

Week 4

General Philosophy; Rules of Inference; Rules of Inference for Quantifiers; Fallacies; Types of Proof.

Note 3

Week 3

Predicates and Quantifiers; Existential and Universal Quantification; Translating Sentences using Quantifiers; Numerical Quantification.

Note 2

Week 2

Validity and Propositional Equivalences; Showing Equivalence using Truth Tables; Showing Equivalence using Symbolic Manipulations.

Note 1

Week 1

Introduction to Propositional Logic; Operations on Propositions; Truth Tables; Translating Sentences into Logical Expressions.