Western University (Ontario)  Also known as University of Western Ontario
Discrete Structures for Computing
CS 2214

Fall 2016
Chapter 2
1
Chapter Summary
Sets
The Language of Sets
Set Operations
Set Identities
Functions
Types of Functions
Operations on Functions
Computability
Sequences and Summations
Types of Sequences
Summation Formulae
Set Cardinality
Matrices
Ma
Western University (Ontario)  Also known as University of Western Ontario
Discrete Structures for Computing
CS 2214

Fall 2016
Chapter 4
1
Chapter Mo+va+on
Number theory is the part of mathematics devoted to the study of the
integers and their properties.
Key ideas in number theory include divisibility and the primality of
integers.
Repre
Western University (Ontario)  Also known as University of Western Ontario
Discrete Structures for Computing
CS 2214

Fall 2016
Chapter 1, Part II: Predicate Logic
1
Summary
Predicate Logic (FirstOrder Logic (FOL), Predicate
Calculus)
The Language of Quantiers
Logical Equivalences
Nested Quantiers
Translation from Predicate Logic to English