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
Access provided by Gov Academy - DGE
227,159 already enrolled
(654 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

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
654 reviews
- 5 stars
69.57%
- 4 stars
15.59%
- 3 stars
6.11%
- 2 stars
2.90%
- 1 star
5.81%
Showing 3 of 654
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 Apr 23, 2019
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!
Reviewed on Jan 16, 2025
The material is interesting and well covered. However, expect many rough edges: broken links, missing images, typos, etc. It also stops dramatically; did they not finish it?
Explore more from Math and Logic

University of Leeds

Duke University

Birla Institute of Technology & Science, Pilani


