About this Course
4.5
441 ratings
94 reviews
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....
Globe

100% online courses

Start instantly and learn at your own schedule.
Calendar

Flexible deadlines

Reset deadlines in accordance to your schedule.
Intermediate Level

Intermediate Level

Clock

Suggested: 10 weeks of study, 4-8 hours/week

Approx. 18 hours to complete
Comment Dots

English

Subtitles: English, Chinese (Simplified), Greek, Portuguese (Brazilian), German, Turkish, Spanish, Polish

Skills you will gain

Mathematical LogicPropositional CalculusProblem SolvingRelational Algebra
Globe

100% online courses

Start instantly and learn at your own schedule.
Calendar

Flexible deadlines

Reset deadlines in accordance to your schedule.
Intermediate Level

Intermediate Level

Clock

Suggested: 10 weeks of study, 4-8 hours/week

Approx. 18 hours to complete
Comment Dots

English

Subtitles: English, Chinese (Simplified), Greek, Portuguese (Brazilian), German, Turkish, Spanish, Polish

Syllabus - What you will learn from this course

1

Section
Clock
2 hours to complete

Lesson 1 - Introduction

...
Reading
13 quizzes

2

Section
Clock
4 hours to complete

Lesson 2 - Propositional Logic

...
Reading
1 video (Total 3 min), 14 quizzes
Video1 video
Clock
5 hours to complete

Lesson 3 - Propositional Analysis

...
Reading
14 quizzes

3

Section
Clock
7 hours to complete

Lesson 4 - Propositional Proofs

...
Reading
20 quizzes

4

Section
Clock
2 hours to complete

Lesson 5 - Propositional Resolution

...
Reading
1 video (Total 4 min), 8 quizzes
4.5

Top Reviews

By MOSep 10th 2017

I think the course makes a great job introducing you to a different mindset, the one that can help you through any kind of inference and mathematical thinking. It makes your brain work.

By SMJan 19th 2018

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

Instructor

Michael Genesereth

Associate Professor
Computer Science Department

About Stanford University

The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is an American private research university located in Stanford, California on an 8,180-acre (3,310 ha) campus near Palo Alto, California, United States....

Frequently Asked Questions

  • Once you enroll for a Certificate, you’ll have access to all videos, quizzes, and programming assignments (if applicable). Peer review assignments can only be submitted and reviewed once your session has begun. If you choose to explore the course without purchasing, you may not be able to access certain assignments.

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

More questions? Visit the Learner Help Center.