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 ...