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.
About this Course
Skills you will gain
- Relational Algebra
- Problem Solving
- Propositional Calculus
- Mathematical Logic
Offered by

Stanford University
The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is an American private research university located in Stanford, California on an 8,180-acre (3,310 ha) campus near Palo Alto, California, United States.
Syllabus - What you will learn from this course
Unit 1 - Introduction
Unit 2 - Propositional Logic
Unit 3 - Relational Logic
Unit 4 - Functional Logic
Reviews
- 5 stars70.01%
- 4 stars15.15%
- 3 stars6.26%
- 2 stars3.13%
- 1 star5.43%
TOP REVIEWS FROM INTRODUCTION TO LOGIC
really love this, straightforward, and really formative
Section 12 wasn't very clear, but everything else was great.
Pros: 1.good contents\n\n2.good exercises and interesting puzzles\n\n3.good examples\n\nCons:\n\n1.No video\n\n2. need more examples
Great introduction to logic! The course material is explained very well and made easy to understand.
Frequently Asked Questions
When will I have access to the lectures and assignments?
What will I get if I purchase the Certificate?
Is financial aid available?
More questions? Visit the Learner Help Center.