About this Course

24,030 recent views

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.

Flexible deadlines

Reset deadlines in accordance to your schedule.

Shareable Certificate

Earn a Certificate upon completion

100% online

Start instantly and learn at your own schedule.

Coursera Labs

Includes hands on learning projects.

Learn more about Coursera Labs

Intermediate Level

Approx. 47 hours to complete

English

Skills you will gain

Relational Algebra
Problem Solving
Propositional Calculus
Mathematical Logic

Flexible deadlines

Reset deadlines in accordance to your schedule.

Shareable Certificate

Earn a Certificate upon completion

100% online

Start instantly and learn at your own schedule.

Coursera Labs

Includes hands on learning projects.

Learn more about Coursera Labs

Intermediate Level

Approx. 47 hours to complete

English

Instructor

Instructor rating

3.82/5 (35 Ratings)

Michael Genesereth

Associate Professor

Computer Science Department

195,370 Learners

1 Course

Syllabus - What you will learn from this course

Week1

Week 1

3 hours to complete

Unit 1 - Introduction

3 hours to complete

2 videos (Total 62 min), 5 readings

Week2

Week 2

12 hours to complete

Unit 2 - Propositional Logic

12 hours to complete

2 videos (Total 8 min), 20 readings, 8 quizzes

2 videos

The Big Game3mBox Logic (out of focus)4m

20 readings

Chapter 2 - Propositional Logic1hExercises55mExtras5mPuzzle - Coins10mChapter 3 - Propositional Analysis1hExercises25mExtras10mPuzzle - Rotors10mChapter Direct Proofs1hExercises25mExtras10mPuzzle - Wine10mChapter 5 - Natural Deduction1hExercises25mExtras10mPuzzle - Counterfeit (easy)10mChapter 6 Propositional Resolution1hExercises25mExtras10mPuzzle - Pills (difficult)10m

8 practice exercises

Evaluation15mSatisfaction15mLogical Properties10mLogical Relationships30mHilbert Proof30mFitch Proof30mFitch Proof30mResolution Proof30m

Week3

Week 3

20 hours to complete

Unit 3 - Relational Logic

20 hours to complete

16 readings

16 readings

Chapter 7 - Relational Logic1hExercises10mExtras10mPuzzle - Cards10mChapter 8 - Relational Analysis1hExercises10mExtras10mPuzzle - Safecracking10mChapter 9 - Model Checking1hExercises10mExtras10mPuzzle - Prisoners10mChapter 10 - Fitch Proofs1hExercises1h 20mExtras10mPuzzle - Chessboard (very difficult)10h

6 practice exercises

Evaluation30mLogical Properties20mLogical Relationships30mGoldrush30mFitch Proof20mFitch Proof30m

Week4

Week 4

8 hours to complete

Unit 4 - Functional Logic

8 hours to complete

14 readings

Reviews

4.4

143 reviews

5 stars
70.19%
4 stars
14.98%
3 stars
6.18%
2 stars
3.09%
1 star
5.53%

TOP REVIEWS FROM INTRODUCTION TO LOGIC

by SMJan 18, 2018

excellent teaching, detailed analysis, interesting theories, mind blowing facts, all in all it was my best experience online

by SOApr 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!

by NRMar 14, 2018

Section 12 wasn't very clear, but everything else was great.

by SCApr 30, 2018

Pros:

1.good contents

2.good exercises and interesting puzzles

3.good examples

Cons:

1.No video

2. need more examples

View all reviews

Frequently Asked Questions

When will I have access to the lectures and assignments?
Access to lectures and assignments depends on your type of enrollment. If you take a course in audit mode, you will be able to see most course materials for free. To access graded assignments and to earn a Certificate, you will need to purchase the Certificate experience, during or after your audit. If you don't see the audit option:
The course may not offer an audit option. You can try a Free Trial instead, or apply for Financial Aid.
The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.
What will I get if I purchase the Certificate?
When you purchase a Certificate you get access to all course materials, including graded assignments. Upon completing the course, your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile. If you only want to read and view the course content, you can audit the course for free.
What is the refund policy?
You will be eligible for a full refund until two weeks after your payment date, or (for courses that have just launched) until two weeks after the first session of the course begins, whichever is later. You cannot receive a refund once you’ve earned a Course Certificate, even if you complete the course within the two-week refund period. See our full refund policy.
Is financial aid available?
Yes. In select learning programs, you can apply for financial aid or a scholarship if you can’t afford the enrollment fee. If fin aid or scholarship is available for your learning program selection, you’ll find a link to apply on the description page.

More questions? Visit the Learner Help Center.

Introduction to Logic