Media Summary: A taxonomy of propositions 0:00 Tautology 4:07 Contradiction 7:13 Contingency 10:05 Truth-table-based algorithm to determine ... Proof technique: Universal generalization 00:00 Definition: arbitrary element of the domain 01:13 Proof of theorem in previous ... 0:00 Basic terminology: index of summation, lower limit, upper limit

Discrete Structures Lecture 3 Segment - Detailed Analysis & Overview

A taxonomy of propositions 0:00 Tautology 4:07 Contradiction 7:13 Contingency 10:05 Truth-table-based algorithm to determine ... Proof technique: Universal generalization 00:00 Definition: arbitrary element of the domain 01:13 Proof of theorem in previous ... 0:00 Basic terminology: index of summation, lower limit, upper limit Logically equivalent propositions 0:00 Define logical equivalence (LE) 2:35 Truth-table based algorithm to determine whether two ... 10 practice problems in basic set theory. Introduction to counting: The sum rule 0:00 Sum rule: statement + example

Proof by cases: A variation based on the logical equivalence between (P_1 OR P_2 OR ... OR P_n) → Q and (P_1 → Q) AND ... Binary search algorithm 0:00 Binary search algorithm to solve the same problem as before but with a sorted sequence 5:37 ...

Photo Gallery

Discrete Structures [Lecture 3 / Segment 1] - Propositional logic - Part 5/9
Discrete Structures [Lecture 10 / Segment 3] - Intro to proofs - Part 3/17
Discrete Structures [Lecture 23 / Segment 3] - Summation notation
Discrete Structures [Lecture 3 / Segment 2] - Propositional logic - Part 6/9
Discrete Structures [Lecture 13 / Segment 3] - Intro to set theory- Part 3/10
Discrete Structures [Lecture 18 / Segment 2] - Big-O notation
Discrete Structures [Lecture 18 / Segment 3] - Big-O notation: First example
Discrete Structures [Lecture 28 / Segment 3] - Introduction to counting: The sum rule
Discrete Structures [Lecture 12 / Segment 3] - Intro to proofs - Part 16/17
Discrete Structures [Lecture 22 / Segment 3] - Matrix addition
Discrete Structures [Lecture 17 / Segment 3] - Introduction to algorithms - Part 3/6
Discrete Structures [Lecture 21 / Segment 3] - Average-case time complexity
View Detailed Profile
Discrete Structures [Lecture 3 / Segment 1] - Propositional logic - Part 5/9

Discrete Structures [Lecture 3 / Segment 1] - Propositional logic - Part 5/9

A taxonomy of propositions 0:00 Tautology 4:07 Contradiction 7:13 Contingency 10:05 Truth-table-based algorithm to determine ...

Discrete Structures [Lecture 10 / Segment 3] - Intro to proofs - Part 3/17

Discrete Structures [Lecture 10 / Segment 3] - Intro to proofs - Part 3/17

Proof technique: Universal generalization 00:00 Definition: arbitrary element of the domain 01:13 Proof of theorem in previous ...

Discrete Structures [Lecture 23 / Segment 3] - Summation notation

Discrete Structures [Lecture 23 / Segment 3] - Summation notation

0:00 Basic terminology: index of summation, lower limit, upper limit

Discrete Structures [Lecture 3 / Segment 2] - Propositional logic - Part 6/9

Discrete Structures [Lecture 3 / Segment 2] - Propositional logic - Part 6/9

Logically equivalent propositions 0:00 Define logical equivalence (LE) 2:35 Truth-table based algorithm to determine whether two ...

Discrete Structures [Lecture 13 / Segment 3] - Intro to set theory- Part 3/10

Discrete Structures [Lecture 13 / Segment 3] - Intro to set theory- Part 3/10

10 practice problems in basic set theory.

Discrete Structures [Lecture 18 / Segment 2] - Big-O notation

Discrete Structures [Lecture 18 / Segment 2] - Big-O notation

Welcome back to this

Discrete Structures [Lecture 18 / Segment 3] - Big-O notation: First example

Discrete Structures [Lecture 18 / Segment 3] - Big-O notation: First example

Welcome back in this third

Discrete Structures [Lecture 28 / Segment 3] - Introduction to counting: The sum rule

Discrete Structures [Lecture 28 / Segment 3] - Introduction to counting: The sum rule

Introduction to counting: The sum rule 0:00 Sum rule: statement + example

Discrete Structures [Lecture 12 / Segment 3] - Intro to proofs - Part 16/17

Discrete Structures [Lecture 12 / Segment 3] - Intro to proofs - Part 16/17

Proof by cases: A variation based on the logical equivalence between (P_1 OR P_2 OR ... OR P_n) → Q and (P_1 → Q) AND ...

Discrete Structures [Lecture 22 / Segment 3] - Matrix addition

Discrete Structures [Lecture 22 / Segment 3] - Matrix addition

Welcome back to this

Discrete Structures [Lecture 17 / Segment 3] - Introduction to algorithms - Part 3/6

Discrete Structures [Lecture 17 / Segment 3] - Introduction to algorithms - Part 3/6

Binary search algorithm 0:00 Binary search algorithm to solve the same problem as before but with a sorted sequence 5:37 ...

Discrete Structures [Lecture 21 / Segment 3] - Average-case time complexity

Discrete Structures [Lecture 21 / Segment 3] - Average-case time complexity

Example: Linear-search algorithm.

Discrete Structures [Lecture 14 / Segment 3] - Intro to set theory- Part 7/10

Discrete Structures [Lecture 14 / Segment 3] - Intro to set theory- Part 7/10

Set identities.