4:19
Propositions
Professor Heather Pierce
7:41
Compound Propositions
10:55
Conditional Statements
4:59
Truth Tables
2:31
Bit Operations
5:25
Translating English to Symbols
3:59
Logic Circuits
7:06
Logical Equivalences
3:50
Propositional Satisfiability
2:53
Predicates
5:28
Quantifiers
5:07
Nested Quantifiers
7:45
Introduction to Sets
4:10
Subsets
4:49
Set Operations
6:22
Set Identities
5:03
Functions
6:01
One to One and Onto Functions
6:17
More with Functions
7:12
Divisibility
6:28
Modular Arithmetic
5:12
Converting Numbers to Decimal (Base 10)
6:05
Converting Numbers From Decimal (Base 10)
4:15
Arithmetic in Bases
5:19
Prime Numbers
6:26
The GCD and Euclid's Algorithm
9:15
Properties of Relations
8:11
Representing Relations
6:54
Equivalence Relations
6:21
Graphs and Graph Models
5:10
Graph Terminology
4:12
Representing Graphs
4:22
Bipartite Graphs
4:18
Graph Isomorphisms
5:39
Connected Graphs
5:58
Euler and Hamilton Paths
