provide online training of Introduction to Logic
Introduction to Logic free videos and free material uploaded by coursera instructor .
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
This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
Write a public review