Discrete Mathematics (English) (Part 1)

   Wednesday, April 24, 2024   

Starting a new Lecture Notes Series on Discrete Mathematics

Youtube Lecture Playlist Credits 

Channel Name: Neso Academy

So Let Us Start to This Journey of Learning 

Discrete Mathematics By Lecture Notes together!

Lecture 1: Introduction to Discrete Mathematics

Lecture 2: Motivation & Introduction to Propositional Logic

Lecture 3: Propositional Logic, Propositional Variables & Compound Propositions

Lecture 4: Logical Operators − Negation, Conjunction & Disjunction

Lecture 5: Logical Operators − Exclusive OR

Lecture 6: Logical Operators − Implication (Part 1)

Lecture 7: Logical Operators − Implication (Part 2)

Lecture 8: Logical Operators − Implication (Part 3)

Lecture 9: Converse, Contrapositive and Inverse

Lecture 10: Logical Operators − Biconditional Operator

Lecture 11: Propositional Logic − Precedence of Logical Operators

Lecture 12: Translating Sentences into Logical Expressions

Lecture 13: Propositional Logic − Puzzle 1

Lecture 14: Propositional Logic − Puzzle 2

Lecture 15: Propositional Logic (Solved Problem 1)

Lecture 16: Tautology, Contradiction, Contingency & Satisfiability

Lecture 17: Propositional Logic − Logical Equivalences

Lecture 18: Propositional Logic (Solved Problem 2)

Lecture 19: Propositional Logic (Solved Problem 3)

Lecture 20: Propositional Logic (Solved Problem 4)

Lecture 21: Propositional Logic (Solved Problem 5)

Lecture 22: Propositional Logic (Solved Problem 6)

Lecture 23: Propositional Logic (Solved Problem 7)

Lecture 24: Rules of Inference - Basic Terminology

Lecture 25: Rules of Inference - Definition & Types of Inference Rules

Lecture 26: Arguments Building Using Rules of Inference (Part 1)

Lecture 27: Arguments Building Using Rules of Inference (Part 2)

Lecture 28: Checking The Validity of An Argument (Shortcut Method)

Lecture 29: Rules of Inference in Propositional Logic (Solved Problem 1)

Lecture 30: Rules of Inference in Propositional Logic (Solved Problem 2)

Lecture 31: The Limitation of Propositional Logic

Lecture 32: Introduction to First Order Logic

Lecture 33: Finding The Truth Values of Predicates (Examples)

Lecture 34: Quantifiers

Lecture 35: Universal Quantifiers

Lecture 36: Universal Quantifiers - Counter Examples

Lecture 37: Expressing Quantifications in English

Lecture 38: Existential Quantifiers

Lecture 39: Existential Quantifiers - Examples

Lecture 40: Quantifiers with Restricted Domain

Lecture 41: Logical Equivalences Involving Predicates & Quantifiers (Part 1)

Lecture 42: Logical Equivalences Involving Predicates & Quantifiers (Part 2)

Lecture 43: Negating the Quantified Expressions (Part 1)

Lecture 44: Negating the Quantified Expressions (Part 2)

Lecture 45: Negating the Quantified Expressions (Examples)

Lecture 46: Translating English Sentences to Logical Expressions

Lecture 47: First Order Logic (Solved Problems) - Part 1

Lecture 48: First Order Logic (Solved Problems) - Part 2

Lecture 49: First Order Logic (Solved Problems) - Part 3

Lecture 50: First Order Logic (Solved Problems) - Part 4

Lecture 51: First Order Logic (Solved Problems) - Part 5

Lecture 52: Introduction to Nested Quantifiers

Lecture 53: Nested Quantifiers (Solved Example 1)

Lecture 54: Nested Quantifiers (Solved Example 2)

Lecture 55: Nested Quantifiers (Solved Example 3)

Lecture 56: Nested Quantifiers (Translating English Statements) - Example 1

Lecture 57: Nested Quantifiers (Translating English Statements) - Example 2

Lecture 58: Nested Quantifiers (Translating English Statements) - Example 3

Lecture 59: Nested Quantifiers (Translating English Statements) - Example 4

Lecture 60: Nested Quantifiers (Translating English Statements) - Example 5

Lecture 61: Negating the Nested Quantifiers

Lecture 62: Negating the Nested Quantifiers (Example 2)

Lecture 63: Negating the Nested Quantifiers (Example 3)

Lecture 64: The Resolution Principle (Preliminaries)

Lecture 65: The Resolution Principle (Proof of Theorem)

Lecture 66: The Resolution Principle (Proving if an Argument is Valid)

Lecture 67: The Resolution Principle (Solved Problems)

Lecture 68: Fallacies

Lecture 69: Rules of Inference for Quantified Statements (Part 1)

Lecture 70: Rules of Inference for Quantified Statements (Part 2)

Lecture 71: Universal Modus Ponens Rule

Lecture 72: Universal Modus Tollens Rule

Lecture 73: Set Theory (Basics of Sets)

Lecture 74: Set Representation

Lecture 75: Inclusion and Equality