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
Instructor: Michael Genesereth
Sponsored by Coursera Learning Team
218,168 already enrolled
(635 reviews)
Skills you'll gain
Details to know
Add to your LinkedIn profile
20 assignments
See how employees at top companies are mastering in-demand skills
Earn a career certificate
Add this credential to your LinkedIn profile, resume, or CV
Share it on social media and in your performance review
There are 5 modules in this course
What's included
2 videos5 readings
What's included
2 videos20 readings8 assignments
What's included
16 readings6 assignments
What's included
14 readings6 assignments
What's included
3 readings
Instructor
Offered by
Why people choose Coursera for their career
Learner reviews
635 reviews
- 5 stars
69.76%
- 4 stars
15.43%
- 3 stars
5.98%
- 2 stars
2.99%
- 1 star
5.82%
Showing 3 of 635
Reviewed on Jun 8, 2018
Good structure. Helped a lot with my university unit. It would be great if we can get sample solutions for our exercises.
Reviewed on Jan 23, 2017
Videos to explain the materials would be much more useful than how it is right now...
Reviewed on Nov 5, 2021
Great intro to the topic. The instant feedback from the proof tools make them easy and fun to use.
Recommended if you're interested in Math and Logic
Stanford University
Universitat Autònoma de Barcelona
Duke University
Open new doors with Coursera Plus
Unlimited access to 10,000+ world-class courses, hands-on projects, and job-ready certificate programs - all included in your subscription
Advance your career with an online degree
Earn a degree from world-class universities - 100% online
Join over 3,400 global companies that choose Coursera for Business
Upskill your employees to excel in the digital economy