Stanford University - Introduction to Logic
- Offered byCoursera
Introduction to Logic at Coursera Overview
Introduction to Logic
at Coursera
Duration | 54 hours |
Total fee | Free |
Mode of learning | Online |
Difficulty level | Intermediate |
Official Website | Explore Free Course  |
Credential | Certificate |
Introduction to Logic at Coursera Highlights
Introduction to Logic
at Coursera
- 50%
started a new career after completing these courses. - 40%
got a tangible career benefit from this course. - Earn a shareable certificate upon completion.
- Flexible deadlines according to your schedule.
Read more
Introduction to Logic at Coursera Course details
Introduction to Logic
at Coursera
More about this course
- 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.
Introduction to Logic at Coursera Curriculum
Introduction to Logic
at Coursera
Lesson 1 - Introduction
Lesson 2 - Propositional Logic
The Big Game
Lesson 4 - Propositional Proofs
Lesson 5 - Propositional Resolution
Box Logic (out of focus)
Lesson 6 - Relational Logic
Lesson 8 - Relational Proofs
Lesson 9 - Herbrand Logic
Lesson 10 - Herbrand Proofs
Lesson 12 - Resolution
Supplementary Material
Other courses offered by Coursera
– / –
3 months
Beginner
View Other 6719 Courses
Introduction to Logic
at Coursera
Student Forum
Anything you would want to ask experts?
Useful Links
Know more about Coursera
Know more about Programs
- Teaching & Education
- Middle School
- Physical Education
- Pre Primary & Primary School
- Secondary & Sr. Secondary School
- Nursery & Primary Teacher Training (NPTT)
- Special Education
- Nursery Teacher Training (NTT)
- Early Childhood Care & Education (ECCE)
- Vocational Education
- Pre Primary Teacher Training (PPTT)
- Primary Teacher Training (PTT)