- From www.coursera.org
Introduction to Logic

- Self-paced
- Free Access
- Fee-based Certificate
- 10 Sequences
- Intermediate Level
- Subtitles in Chinese, Greek, Portuguese, German, Turkish, Spanish, Polish
Course details
Syllabus
- Week 1 - Lesson 1 - Introduction
- Week 2 - Lesson 2 - Propositional Logic
- Week 2 - Lesson 3 - Propositional Analysis
- Week 3 - Lesson 4 - Propositional Proofs
- Week 4 - Lesson 5 - Propositional Resolution
- Week 5 - Lesson 6 - Relational Logic
- Week 5 - Lesson 7 - Relational Analysis
- Week 6 - Lesson 8 - Relational Proofs
The description goes here - Week 7 - Lesson 9 - Herbrand Logic
- Week 8 - Lesson 10 - Herbrand Proofs
- Week 8 - Lesson 11 - Induction
The description goes here - Week 9 - Lesson 12 - Resolution
The description goes here - Week 10 - Supplementary Material
Prerequisite
Instructors
Michael Genesereth
Associate Professor
Computer Science Department
Editor
Leland Stanford Junior University, better known as Stanford University, is a private American university located in Silicon Valley, south of San Francisco.
Its motto is "Die Luft der Freiheit weht", which means "The wind of freedom blows".
Ranked among the world's top universities in most international rankings, it enjoys great prestige.

Platform
Coursera is a digital company offering massive open online course founded by computer teachers Andrew Ng and Daphne Koller Stanford University, located in Mountain View, California.
Coursera works with top universities and organizations to make some of their courses available online, and offers courses in many subjects, including: physics, engineering, humanities, medicine, biology, social sciences, mathematics, business, computer science, digital marketing, data science, and other subjects.
