Module 1: Logic and Sets

Propositional Logic

Video: Propositions
Video: Compound Propositions
Video: Conditional Statements
Video: Truth Tables
Video: Bit Operations

Applications of Propositional Logic

Video: Translating English to Symbols
Video: Logic Circuits

Propositional Equivalences

Video: Logical Equivalences
Video: Propositional Satisfiability

Predicates and Quantifiers

Video: Predicates
Video: Quantifiers
Video: Nested Quantifiers

Sets and Operations

Video: Introduction to Sets
Video: Subsets
Video: Set Operations
Video: Set Identities

Functions

Video: Functions
Video: One-to-One and Onto Functions
Video: More with Functions