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
Ends in 7 days! Save 40% on your access to 10,000+ programs and make a real impact in your career. Save now.

Introduction to Logic

Instructor: Michael Genesereth
229,165 already enrolled
Included with Learn more
Ask Coursera
656 reviews
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
Instructor

Offered by
Explore more from Math and Logic

University of Leeds

University of Amsterdam

University of London

Duke University
Why people choose Coursera for their career

Felipe M.

Jennifer J.

Larry W.

Chaitanya A.
Learner reviews
- 5 stars
69.51%
- 4 stars
15.54%
- 3 stars
6.09%
- 2 stars
2.89%
- 1 star
5.94%
Showing 3 of 656
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 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?
Reviewed on Feb 28, 2021
Fantastic course. Very well structured providing good base to proceed to other domains where logic present.




