discretemathematicsbyneso

Introduction to Discrete Mathematics

9:37

Introduction to Discrete Mathematics
Cardinality of Sets

3:08

Cardinality of Sets
Introduction to Relations

7:39

Introduction to Relations
Set Theory (Basics of Sets)

5:27

Set Theory (Basics of Sets)
Equivalence Classes

7:19

Equivalence Classes
Lattice

15:20

Lattice
Rules of Inference - Basic Terminology

6:14

Rules of Inference - Basic Terminology
Equivalence Relation

6:29

Equivalence Relation
Set Representation

4:50

Set Representation
Types of Relations (Part 2)

4:21

Types of Relations (Part 2)
Hasse Diagram

17:08

Hasse Diagram
Composition of Relations

6:22

Composition of Relations
Logical Equivalences Involving Predicates & Quantifiers (Part 1)

9:12

Logical Equivalences Involving Predicates & Quantifiers (Part 1)
Closure of Relations – Part 1

4:43

Closure of Relations – Part 1
Converse, Contrapositive and Inverse

3:47

Converse, Contrapositive and Inverse
Types of Relations (Part 1)

6:38

Types of Relations (Part 1)
Representation of Relations

5:51

Representation of Relations
Cartesian Product

7:52

Cartesian Product
Propositional Logic − Logical Equivalences

17:23

Propositional Logic − Logical Equivalences
Quantifiers

5:05

Quantifiers
Introduction to Partial Ordering

15:34

Introduction to Partial Ordering
Rules of Inference - Definition & Types of Inference Rules

7:44

Rules of Inference - Definition & Types of Inference Rules
Functions | Chapter-7 | Discrete Mathematics | nesoacademy.org

1:28

Functions | Chapter-7 | Discrete Mathematics | nesoacademy.org
The Resolution Principle (Preliminaries)

5:25

The Resolution Principle (Preliminaries)
Warshall's Algorithm (Finding the Transitive Closure)

9:46

Warshall's Algorithm (Finding the Transitive Closure)
Poset (Minimal and Maximal Elements)

13:39

Poset (Minimal and Maximal Elements)
Congruence Modulo m

12:13

Congruence Modulo m
Tautology, Contradiction, Contingency & Satisfiability

5:05

Tautology, Contradiction, Contingency & Satisfiability
Poset (Least and Greatest Elements)

14:51

Poset (Least and Greatest Elements)
Types of Relations (Solved Problem)

9:06

Types of Relations (Solved Problem)
Equivalence Classes and Partitions

13:10

Equivalence Classes and Partitions
Permutations & Combinations | Chapter-9 | Discrete Mathematics | nesoacademy.org

1:24

Permutations & Combinations | Chapter-9 | Discrete Mathematics | nesoacademy.org
Poset (Lower and Upper Bounds)

15:39

Poset (Lower and Upper Bounds)
Existential Quantifiers

4:06

Existential Quantifiers
Finding The Truth Values of Predicates (Examples)

2:30

Finding The Truth Values of Predicates (Examples)
Propositional Logic, Propositional Variables & Compound Propositions

6:28

Propositional Logic, Propositional Variables & Compound Propositions
Set Identities (Part 1)

6:45

Set Identities (Part 1)
Complete and Bounded Lattice

12:11

Complete and Bounded Lattice
Arguments Building Using Rules of Inference (Part 1)

5:39

Arguments Building Using Rules of Inference (Part 1)
Counting | Chapter-8 | Discrete Mathematics | nesoacademy.org

00:33

Counting | Chapter-8 | Discrete Mathematics | nesoacademy.org
Lattice (Complement of an Element)

9:55

Lattice (Complement of an Element)
Poset (Least Upper Bound and Greatest Lower Bound)

11:22

Poset (Least Upper Bound and Greatest Lower Bound)
Hasse Diagram (Solved Problems) - Set 1

7:26

Hasse Diagram (Solved Problems) - Set 1
Determining coefficient in binomial expansion | Algebra II | Khan Academy

8:41

Determining coefficient in binomial expansion | Algebra II | Khan Academy
Complemented Lattice

12:00

Complemented Lattice
Nested Quantifiers (Solved Example 1)

7:34

Nested Quantifiers (Solved Example 1)
Modulus of Negative Numbers

13:08

Modulus of Negative Numbers
Symbols for Partial Order

10:38

Symbols for Partial Order
Discrete Math - 1.8.1 Proof by Cases

18:46

Discrete Math - 1.8.1 Proof by Cases
Set Operations (Intersection & Union with Venn Diagram)

5:57

Set Operations (Intersection & Union with Venn Diagram)
Arguments Building Using Rules of Inference (Part 2)

5:57

Arguments Building Using Rules of Inference (Part 2)
The Resolution Principle (Solved Problems)

7:04

The Resolution Principle (Solved Problems)
Logical Operators − Implication (Part 1)

10:18

Logical Operators − Implication (Part 1)
Logical Operators − Exclusive OR

6:51

Logical Operators − Exclusive OR
Introduction to Nested Quantifiers

3:17

Introduction to Nested Quantifiers
Asymptotic Analysis (Solved Problem 1)

7:23

Asymptotic Analysis (Solved Problem 1)
Types of Sets - Universal, Null, and Singleton

2:43

Types of Sets - Universal, Null, and Singleton
Modular Arithmetic (Part 1)

10:57

Modular Arithmetic (Part 1)
Regular Expression

4:43

Regular Expression
Conversion of Regular Expression to Finite Automata - Examples (Part 1)

8:54

Conversion of Regular Expression to Finite Automata - Examples (Part 1)