Discrete Structures Lecture 8 Segment

Media Summary: 0:00 Argument 3:08 Valid argument 5:09 Rule of inference - Example: modus ponens 11:20 Example: Modus tollens 12:52 ... Three new rules of inference (for propositional logic) 0:00 Addition 1:38 Simplification 2:33 Conjunction 4:01 First example of a ... Formal proofs in propositional logic 0:00 First argument 2:21 Informal definition of a proof 4:07 Proof of the first argument 9:01 ...

Discrete Structures Lecture 8 Segment - Detailed Analysis & Overview

0:00 Argument 3:08 Valid argument 5:09 Rule of inference - Example: modus ponens 11:20 Example: Modus tollens 12:52 ... Three new rules of inference (for propositional logic) 0:00 Addition 1:38 Simplification 2:33 Conjunction 4:01 First example of a ... Formal proofs in propositional logic 0:00 First argument 2:21 Informal definition of a proof 4:07 Proof of the first argument 9:01 ... 0:00 Definition of the "resolution" inference rule 1:43 CS applications of resolution 2:26 The disjunctive syllogism is a special case ... Why we need more proof techniques: a sample theorem for which previously discussed proof techniques are either not applicable ... Wrap-up of the intuitive justification of the master theorem.

We look at direct proofs, proof by cases, proof by contraposition, proof by contradiction, and mathematical induction, all within 22 ... 0:00 Predicate logic 0:35 Precedence of quantifiers 2:38 Free variable 3:08 Bound variable 4:23 Proving that: there exists x (P(x) ... Using the Principle of Inclusion-Exclusion to find the cardinality of the union of 2 or 3 sets. Video Chapters: Introduction 0:00 ...

Photo Gallery

Discrete Structures [Lecture 8 / Segment 1] - Predicate logic - Part 14/20

Discrete Structures [Lecture 8 / Segment 2] - Predicate logic - Part 15/20

Discrete Structures [Lecture 8 / Segment 3] - Predicate logic - Part 16/20

Discrete Structures [Lecture 26 / Segment 8] - Structural induction - Part 8/8

Discrete Structures [Lecture 8 / Segment 4] - Predicate logic - Part 17/20

Discrete Structures [Lecture 11 / Segment 1] - Intro to proofs - Part 8/17

Discrete Structures [Lecture 30 / Segment 8] - Wrap-up: intuitive justification of master theorem

Discrete Math Proofs in 22 Minutes (5 Types, 9 Examples)

Discrete Structures [Lecture 6 / Segment 4] - Predicate logic - Part 8/20

Discrete Structures [Lecture 26 / Segment 7] - Structural induction - Part 7/8

Discrete Structures [Lecture 14 / Segment 4] - Intro to set theory- Part 8/10

Discrete Math - 8.5.1 The Principle of Inclusion-Exclusion

View Detailed Profile

Discrete Structures [Lecture 8 / Segment 1] - Predicate logic - Part 14/20

Discrete Structures [Lecture 8 / Segment 1] - Predicate logic - Part 14/20

0:00 Argument 3:08 Valid argument 5:09 Rule of inference - Example: modus ponens 11:20 Example: Modus tollens 12:52 ...

Discrete Structures [Lecture 8 / Segment 2] - Predicate logic - Part 15/20

Discrete Structures [Lecture 8 / Segment 2] - Predicate logic - Part 15/20

Three new rules of inference (for propositional logic) 0:00 Addition 1:38 Simplification 2:33 Conjunction 4:01 First example of a ...

Discrete Structures [Lecture 8 / Segment 3] - Predicate logic - Part 16/20

Discrete Structures [Lecture 8 / Segment 3] - Predicate logic - Part 16/20

Formal proofs in propositional logic 0:00 First argument 2:21 Informal definition of a proof 4:07 Proof of the first argument 9:01 ...

Discrete Structures [Lecture 26 / Segment 8] - Structural induction - Part 8/8

Discrete Structures [Lecture 26 / Segment 8] - Structural induction - Part 8/8

Structural

Discrete Structures [Lecture 8 / Segment 4] - Predicate logic - Part 17/20

Discrete Structures [Lecture 8 / Segment 4] - Predicate logic - Part 17/20

0:00 Definition of the "resolution" inference rule 1:43 CS applications of resolution 2:26 The disjunctive syllogism is a special case ...

Discrete Structures [Lecture 11 / Segment 1] - Intro to proofs - Part 8/17

Discrete Structures [Lecture 11 / Segment 1] - Intro to proofs - Part 8/17

Why we need more proof techniques: a sample theorem for which previously discussed proof techniques are either not applicable ...

Discrete Structures [Lecture 30 / Segment 8] - Wrap-up: intuitive justification of master theorem

Discrete Structures [Lecture 30 / Segment 8] - Wrap-up: intuitive justification of master theorem

Wrap-up of the intuitive justification of the master theorem.

Discrete Math Proofs in 22 Minutes (5 Types, 9 Examples)

Discrete Math Proofs in 22 Minutes (5 Types, 9 Examples)

We look at direct proofs, proof by cases, proof by contraposition, proof by contradiction, and mathematical induction, all within 22 ...

Discrete Structures [Lecture 6 / Segment 4] - Predicate logic - Part 8/20

Discrete Structures [Lecture 6 / Segment 4] - Predicate logic - Part 8/20

0:00 Predicate logic 0:35 Precedence of quantifiers 2:38 Free variable 3:08 Bound variable 4:23 Proving that: there exists x (P(x) ...

Discrete Structures [Lecture 26 / Segment 7] - Structural induction - Part 7/8

Discrete Structures [Lecture 26 / Segment 7] - Structural induction - Part 7/8

Structural

Discrete Structures [Lecture 14 / Segment 4] - Intro to set theory- Part 8/10

Discrete Structures [Lecture 14 / Segment 4] - Intro to set theory- Part 8/10

Membership table.

Discrete Math - 8.5.1 The Principle of Inclusion-Exclusion

Discrete Math - 8.5.1 The Principle of Inclusion-Exclusion

Using the Principle of Inclusion-Exclusion to find the cardinality of the union of 2 or 3 sets. Video Chapters: Introduction 0:00 ...

Discrete Structures Lecture on Sets

Discrete Structures Lecture on Sets

Produced with CyberLink PowerDirector 12