Introduction to Logic (Coursera)

Introduction to Logic (Coursera)
Course Auditing
Categories
Effort
Certification
Languages
Misc

MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

Introduction to Logic (Coursera)
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.

Class Deals by MOOC List - Click here and see Coursera's Active Discounts, Deals, and Promo Codes.

MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.



Syllabus


WEEK 1: Lesson 1 - Introduction

WEEK 2: Lesson 2 - Propositional Logic / Lesson 3 - Propositional Analysis

WEEK 3: Lesson 4 - Propositional Proofs

WEEK 4: Lesson 5 - Propositional Resolution

WEEK 5: Lesson 6 - Relational Logic / Lesson 7 - Relational Analysis

WEEK 6: Lesson 8 - Relational Proofs

WEEK 7: Lesson 9 - Herbrand Logic

WEEK 8: Lesson 10 - Herbrand Proof / Lesson 11 - Induction

WEEK 9: Lesson 12 - Resolution

WEEK 10: Supplementary Material



6
Average: 6 ( 3 votes )

MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.