Introduction to Logic

Por: Coursera . en: , ,

  • Lesson 1 - Introduction
  • Lesson 2 - Propositional Logic
  • Lesson 3 - Propositional Analysis
  • Lesson 4 - Propositional Proofs
  • Lesson 5 - Propositional Resolution
  • Lesson 6 - Relational Logic
  • Lesson 7 - Relational Analysis
  • Lesson 8 - Relational Proofs
    • The description goes here
  • Lesson 9 - Herbrand Logic
  • Lesson 10 - Herbrand Proofs
  • Lesson 11 - Induction
    • The description goes here
  • Lesson 12 - Resolution
    • The description goes here
  • Supplementary Material

Plataforma