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 Bahria University Karachi Campus
227,082 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 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 Sep 29, 2024
Good hi level intro to logic. It seems A.I. text generation is getting better
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.
Explore more from Math and Logic
University of Leeds
Duke University
Birla Institute of Technology & Science, Pilani