Mathematics - Mathematical Logic (English)

   Monday, March 24, 2025   

Starting a new Lecture Notes Series on Mathematics - Mathematical Logic

Youtube Lecture Playlist Credits 

Channel Name: nptelhrd

So Let Us Start to This Journey of Learning 

Mathematics - Mathematical Logic By Lecture Notes together!

Lecture 1: Mod-01 Lec-01 Sets and Strings

Lecture 2: Mod-01 Lec-02 Lecture-02-Syntax of Propositional Logic

Lecture 3: Mod-01 Lec-03 Lecture-03-Unique Parsing

Lecture 4: Mod-01 Lec-04 Lecture-04-Semantics of PL

Lecture 5: Mod-01 Lec-05 Lecture-05-Consequences and Equivalences

Lecture 6: Mod-01 Lec-06 Five results about PL

Lecture 7: Mod-01 Lec-07 Lecture-07-Calculations and Informal Proofs

Lecture 8: Mod-01 Lec-08 Lecture-08-More Informal Proofs

Lecture 9: Mod-01 Lec-09 Lecture-09-Normal forms

Lecture 10: Mod-01 Lec-10 Lecture-10-SAT and 3SAT

Lecture 11: Mod-01 Lec-11 Lecyture-11-Horn-SAT and Resolution

Lecture 12: Mod-01 Lec-12 Lecture-12-Resolution

Lecture 13: Mod-01 Lec-13 Lecture-13-Adequacy of Resolution

Lecture 14: Mod-01 Lec-14 Lecture-14-Adequacy and Resolution Strategies

Lecture 15: Mod-01 Lec-15 Lecture-15-Propositional Calculus (PC)

Lecture 16: Mod-01 Lec-16 Lecture-16-Some Results about PC

Lecture 17: Mod-01 Lec-17 Lecture-17-Arguing with Proofs

Lecture 18: Mod-01 Lec-18 Lecture-18-Adequacy of PC

Lecture 19: Mod-01 Lec-19 Lecture-19-Compactness & Analytic Tableau

Lecture 20: Mod-01 Lec-20 Lecture-20-Examples of Tableau Proofs

Lecture 21: Mod-01 Lec-21 Lecture-21-Adequacy of Tableaux

Lecture 22: Mod-01 Lec-22 Lecture-22-Syntax of First order Logic (FL)

Lecture 23: Mod-01 Lec-23 Lecture-23-Symbolization & Scope of Quantifiers

Lecture 24: Mod-01 Lec-24 Lecture-24-Hurdles in giving Meaning

Lecture 25: Mod-01 Lec-25 Lecture-25-Semantics of FL

Lecture 26: Mod-01 Lec-26 Lecture-26-Relevance Lemma

Lecture 27: Mod-01 Lec-27 Lecture-27-Validity, Satisfiability & Equivalence

Lecture 28: Mod-01 Lec-28 Lecture-28-Six Results about FL

Lecture 29: Mod-01 Lec-29 Lecture-29-Laws, Calculation & Informal Proof

Lecture 30: Mod-01 Lec-30 Lecture-30-Quantifier Laws and Consequences

Lecture 31: Mod-01 Lec-31 Lecture-31-More Proofs and Prenex Form

Lecture 32: Mod-01 Lec-32 Lecture-32-Prenex Form Conversion

Lecture 33: Mod-01 Lec-33 Lecture-33-Skolem Form

Lecture 34: Mod-01 Lec-34 Lecture-34-Syntatic Interpretation

Lecture 35: Mod-01 Lec-35 Lecture-35-Herbrand's Theorem

Lecture 36: Mod-01 Lec-36 Lecture-36-Most General Unifiers

Lecture 37: Mod-01 Lec-37 Lecture-37-Resolution Rules

Lecture 38: Mod-01 Lec-38 Lecture-38-Resolution Examples

Lecture 39: Mod-01 Lec-39 Lecture-39-Ariomatic System FC

Lecture 40: Mod-01 Lec-40 Lecture-40-FC and Semidecidability of FL

Lecture 41: Mod-01 Lec-41 Lecture-41-Analytic Tableau for FL

Lecture 42: Mod-01-Lec-42 Lecture-42-Godels Incompleteness Theorems