MTH110 Discrete Mathematics I Course Outline and

Recommended Homework Problems

Weeks 1-3:

The Logic of Compound Statements - Chapter 2 and Bitwise

handout
o
o
o
o
o
o
o

Statements and connectives.

Relationship between English statements and statement forms.
Truth tables, tautologies, contradictions, logically equivalent
forms, De Morgan's laws.
Logical implication, contrapositive, converse, inverse, if and only
if.
Arguments, valid conclusions.
Digital Logic Circuits.
Bitwise Arithmetic (Bitwise handout will be supplied)

Section
2.1
2.2
2.3
2.4
2.5

Practice Exercises
3, 5, 6, 10ac, 11, 14, 16, 22, 25, 27, 36, 38, 40, 41, 48, 50, 53.
1, 3, 5, 9, 12, 16, 19, 20df, 21a, 22df, 23df, 29, 34, 37, 40, 44, 45, 46, 49.
1, 3, 6, 8, 12a, 22, 24, 25, 26, 27, 36, 37, 38a, 39, 41, 43.
3, 7, 11, 18, 20, 22, 24, 28, 30.
1, 4, 7, 10, 27, 29, 38, 41, 44, 47a

Week 4:

Introduction to Set Theory Sections 1.2, 6.1

o
o
o

Naive set theory and Venn diagram

Universe, null set, number sets
Set inclusion, set operations

Section Practice Exercises

1.2 1, 3, 7acd, 5, 8a, 9abfi.
6.1 10e, 11, 13, 14a, 15a, 16a, 17.

Weeks 4-6:

The Logic of Quantified Statements - Chapter 3

o
o
o
o

Quantifiers and manipulation of English statements and their

equivalent symbolic form.
Generalized De Morgan laws, multiple quantifiers.
Counter-examples, necessary and sufficient conditions.
Tilomino

Section
3.1
3.2
3.3
3.4

Practice Exercises
3, 4b, 5ac, 7ac, 9, 11, 13, 14, 16ace, 19, 28bd.
1, 3, 11, 13, 18, 20, 28, 30, 37, 48.
2ab, 3ab, 11acd, 13, 14, 15, 19, 20a, 33, 34, 37, 39, 44a
1acd, 2, 3, 5, 7, 8, 9, 10, 16, 19ab, 21, 23, 25, 31, 33.

Week 7: Study break

Weeks 8-10:

Proof Techniques - Chapter 4

o
o
o
o
o
o
o
o
o
o

Axioms, theorems, lemmas and corollaries

Proof structure
Direct proofs: existential, by exhaustion, deduction, construction,
counterexample
Indirect proofs by contradiction, contraposition
Common pitfalls and mistakes in proofs
Algebraic axioms and divisibility in Z
Prime and composite numbers
Div, mod, quotient-remainder theorem
Rational and irrational numbers
Floor and Ceiling

Section
4.1
4.2
4.3
4.4
4.5
4.6
4.7

Practice Exercises
1, 2, 7, 9, 14, 17, 19, 22, 24, 25, 35, 38, 39, 40, 43, 44, 45, 47, 54.
4, 9, 12, 15, 16, 19, 20, 21, 22, 32.
1, 4, 6, 7, 8, 10, 12, 14, 15, 20, 22, 24, 25, 26, 27, 32, 36a.
1, 3, 5, 16, 17, 26, 34, 35, 48.
1, 3, 8, 12, 14, 17, 23, 26.
3, 5, 13, 18, 21, 25, 26, 27.
21.

Set Theory - Chapter 6

o
o
o

Cartesian products, power sets

Set identities, proving set identities
Disjointedness and partitions

If time permits: Russell's Paradox and the halting problem

Section Practice Exercises

6.1 27ad, 28, 31, 32a, 33, 29a, 34, 35a.
1, 7, 9, 11, 12, 13, 16, 18, 23a, 24, 25, 29, 30, 33. For 7 - 18 use set identities
6.2
(6.2.2 etc).
6.3 1, 2, 3, 5, 6, 11, 17, 18, 19, 22a, 27, 28, 30, 31, 36, 39, 44ab.

Weeks 10-12:

Relations Section 1.3, Chapter 8

o
o
o
o

Binary relations and directed graphs.

Reflexivity, symmetry, transitivity, equivalence relations.
Equivalence relations, equivalence classes, and partitions of a set.
Antisymmetry, partial and total orders, Hasse diagrams.

Section
1.3
8.1
8.2
8.3
8.5

Practice Exercises
1, 3, 6, 7, 9
3ab, 4, 8, 13, 15, 16, 19, 24a.
1, 3, 6, 11, 12, 15, 20, 23, 27, 28, 31, 37, 38, 39, 40, 41, 42, 43, 45, 48.
1, 2a, 3, 5, 7, 8, 13, 16a, 18a, 19a, 20, 28, 29, 32, 34, 36, 38, 41, 43ace, 44.
1ab, 2, 5, 8, 10, 11ab, 13, 15, 16a, 17a, 18, 21, 22, 24, 26, 31, 32, 33

Weeks 12-13:

Functions - Chapter 7
o
o
o
o

Definitions and notation.

One-to one and onto
Inverse of a function
Composition of functions

Section
7.1
7.2
7.3

Practice Exercises
1, 4a, 7, 13, 15, 25a, 27, 33, 38.
1, 3, 5, 6, 7, 9, 10, 11, 13, 14, 15, 16, 20, 21, 23, 24, 25, 36, 42, 44, 45, 46.
1, 3, 6, 9, 13, 16, 18, 19, 21, 23, 26.