Math 2.0

Resources / course

Mathematical Logic A4T0N38YWY

URIm2://res/A4T0N38YWY
Kindcourse
CreatorsArindama Singh (instructor)
Date2012-07-23
Scopein
Idscourse 03v0r5n49:111106052

Expressions

e1: edition

Languageen
Date2012-07-23
Contents
  • part 1: Mathematical Logic
  • session 1: Sets and Strings
  • session 2: Syntax of Propositional Logic
  • session 3: Unique Parsing
  • session 4: Semantics of PL
  • session 5: Consequences and Equivalences
  • session 6: Five results about PL
  • session 7: Calculations and Informal Proofs
  • session 8: More Informal Proofs
  • session 9: Normal forms
  • session 10: SAT and 3SAT
  • session 11: Horn-SAT and Resolution
  • session 12: Resolution
  • session 13: Adequacy of Resolution
  • session 14: Adequacy and Resolution Strategies
  • session 15: Propositional Calculus (PC)
  • session 16: Some Results about PC
  • session 17: Arguing with Proofs
  • session 18: Adequacy of PC
  • session 19: Compactness & Analytic Tableau
  • session 20: Examples of Tableau Proofs
  • session 21: Adequacy of Tableaux
  • session 22: Syntax of First order Logic (FL)
  • session 23: Symbolization & Scope of Quantifiers
  • session 24: Hurdles in giving Meaning
  • session 25: Semantics of FL
  • session 26: Relevance Lemma
  • session 27: Validity, Satisfiability & Equivalence
  • session 28: Six Results about FL
  • session 29: Laws in FL
  • session 30: Quantifier Laws and Consequences
  • session 31: Examples of Informal Proofs and Calculation
  • session 32: Prenex Form Conversion
  • session 33: Skolem Form
  • session 34: Syntatic Interpretation
  • session 35: Herbrand's Theorem
  • session 36: Most General Unifiers
  • session 37: Resolution Rules
  • session 38: Resolution Examples
  • session 39: Axiomatic System FC
  • session 40: FC, Semidecidability of FL, and Tableau
  • session 41: Analytic Tableau for FL
  • session 42: Goedel's Incompleteness Theorems

Catalogue records