About this Course

28,754 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.

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.

Intermediate Level

Approx. 47 hours to complete

English

Instructor

Instructor rating

3.82/5 (35 Ratings)

Michael Genesereth

Associate Professor

Computer Science Department

195,950 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 RKJan 27, 2019

Excellent introduction to logic. The exercises really help with the understanding.

by GGAug 26, 2017

A bit dry but very useful course. Should have taken it long ago.

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

by AAFeb 24, 2018

requires a lot of patience but overall very interesting and fun. The forums are very useful as are the mentors

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.
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