Introduction to Logic

Go to class
Write Review

Free Online Course: Introduction to Logic provided by Coursera is a comprehensive online course, which lasts for 5 weeks long, 47 hours worth of material. The course is taught in English and is free of charge. Upon completion of the course, you can receive an e-certificate from Coursera. Introduction to Logic is taught by Michael Genesereth.

Overview
  • 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.

Syllabus
    • Unit 1 - Introduction
    • Unit 2 - Propositional Logic
    • Unit 3 - Relational Logic
    • Unit 4 - Functional Logic
    • Unit 5 - Conclusion