CS311H Discrete Mathematics for Computer Science

Tuesday, August 25

Introduction to CS311H

Readings

• None

Videos

• None

Thursday, August 27

Propositional Logic

Readings

• Rosen Ch 1 Sections 1.1, 1.2

Videos

• Building Blocks of Boolean Logic
• Logical Operators
• Truth Tables
• Implication
• Necessary and Sufficient Conditions
• Biconditional Operator
• Precedence of Logical Operators

Postcondition

• the symbols
• the different ways these operators show up in the English language
• the truth tables
• operator precedence

↑ Back to top

Tuesday, September 1

Propositional Logic and Proofs

Readings

• Rosen Ch 1 Sections 1.6.1 through 1.6.6

Videos

• What is a Proof?
• Proof Using Truth Tables
• Equivalence-Style Proofs
• Argument Form
• Rules of Inference
• Natural Deduction Proof (Proof using Rules of Inference)

Postcondition

After the readings/videos, you must know how to

• Prove a theorem using truth tables.
• Prove a theorem using equivalence-style proof.
• Prove a theorem using the rules of inference.
• operator precedence