Course Organization
Syllabus
Lecture Notes
Section 1.1: Formal Logic
Section 1.2: Propositional Logic
Section 1.3: Predicate Logic
Section 1.4: Logic in Mathematics
Section 1.5 (Part 1): Direct Proofs
Section 1.5 (Part 2): Proof by Contraposition
Section 1.5 (Part 3): Proof by Contradiction
Section 2.2: Sets
Section 2.3: Functions
Section 2.4 (Part 1): Relations
Section 2.4 (Part 2): Modular Arithmetic
Section 2.1: Graphs
Section 3.1: Recurrence Relations
Section 3.2: Closed-Form Solutions and Induction
Section 3.3: Recursive Definitions
Section 3.4 (Part 1): Generalizing Induction
Section 3.4 (Part 2): Strong Induction
Section 4.1: Basic Counting Principles
Section 4.2: Selections and Arrangements
Section 4.3: Counting with Functions
Section 4.4 (Part 1): Discrete Probability
Section 4.4 (Part 2): Expected Value and Conditional Probability
Homework
Homework 1; Solutions
Homework 2; Solutions
Homework 3; Solutions
Homework 4; Solutions
Homework 5; Solutions
Homework 6; Solutions
Homework 7; Solutions
Homework 8; Solutions
Homework 9; Solutions
Homework 10; Solutions
Homework 11; Solutions
Quizzes
Quiz 1; Solutions
Quiz 2; Solutions
Quiz 3; Solutions
Quiz 4; Solutions
Quiz 5; Solutions
Quiz 6; Solutions
Quiz 7; Solutions
Quiz 8; Solutions
Quiz 9; Solutions
Exams
Exam 1; Solutions
Exam 2; Solutions
Exam 3; Solutions