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
Stanford UniversityAbout this Course
Learner Career Outcomes
50%
40%
Skills you will gain
Learner Career Outcomes
50%
40%
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
Lesson 1 - Introduction
Lesson 2 - Propositional Logic
Lesson 3 - Propositional Analysis
Lesson 4 - Propositional Proofs
Lesson 5 - Propositional Resolution
Reviews
TOP REVIEWS FROM INTRODUCTION TO LOGIC
This course was so helpful. I think I now understand the fundamentals of mathematical logic. I truly recommend this course to anyone who is interested in studying logic!
Somehow difficult in the last several weeks. As almost all the materials are all in words, students may sometimes feel bored seeing all lines and complex tables.
Very interesting course But some parts are not just to technical but rather for technicians and not for persons looking more into the theoretical aspects
I feel like some things could have been explained better, maybe a better description of how the fitch tool worked. Other than that, it was a great course!
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.