About this Course
4.5
453 ratings
97 reviews
100% online

100% online

Start instantly and learn at your own schedule.
Flexible deadlines

Flexible deadlines

Reset deadlines in accordance to your schedule.
Intermediate Level

Intermediate Level

Hours to complete

Approx. 19 hours to complete

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

English

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

Skills you will gain

Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic
100% online

100% online

Start instantly and learn at your own schedule.
Flexible deadlines

Flexible deadlines

Reset deadlines in accordance to your schedule.
Intermediate Level

Intermediate Level

Hours to complete

Approx. 19 hours to complete

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

English

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

Syllabus - What you will learn from this course

Week
1
Hours to complete
2 hours to complete

Lesson 1 - Introduction

...
Reading
13 quizzes
Week
2
Hours to complete
4 hours to complete

Lesson 2 - Propositional Logic

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

Lesson 3 - Propositional Analysis

...
Reading
14 quizzes
Week
3
Hours to complete
7 hours to complete

Lesson 4 - Propositional Proofs

...
Reading
20 quizzes
Week
4
Hours to complete
2 hours to complete

Lesson 5 - Propositional Resolution

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

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 JSAug 21st 2018

This course was so helpful. I think I now understand the fundamentals of mathematical logic. I truly recommend this course to anyone who is interested in studying logic!

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.