À propos de ce cours
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

Cours en ligne à 100 %

Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Intermediate Level

Niveau intermédiaire

Clock

Approx. 18 heures pour terminer

Recommandé : 10 weeks of study, 4-8 hours/week
Comment Dots

English

Sous-titres : English, Chinese (Simplified), Greek, Portuguese (Brazilian), German, Turkish, Spanish, Polish
Globe

Cours en ligne à 100 %

Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Intermediate Level

Niveau intermédiaire

Clock

Approx. 18 heures pour terminer

Recommandé : 10 weeks of study, 4-8 hours/week
Comment Dots

English

Sous-titres : 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 videos
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

5

Section
Clock
5 hours to complete

Lesson 6 - Relational Logic

...
Reading
19 quizzes
Clock
4 hours to complete

Lesson 7 - Relational Analysis

...
Reading
13 quizzes

6

Section
Clock
4 hours to complete

Lesson 8 - Relational Proofs

The description goes here...
Reading
15 quizzes

7

Section
Clock
4 hours to complete

Lesson 9 - Herbrand Logic

...
Reading
13 quizzes

8

Section
Clock
1 hour to complete

Lesson 10 - Herbrand Proofs

...
Reading
3 quizzes
Clock
5 hours to complete

Lesson 11 - Induction

The description goes here...
Reading
13 quizzes

9

Section
Clock
6 hours to complete

Lesson 12 - Resolution

The description goes here...
Reading
19 quizzes

10

Section
Clock
4 hours to complete

Supplementary Material

...
Reading
4 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 SCMay 1st 2018

Pros:\n\n1.good contents\n\n2.good exercises and interesting puzzles\n\n3.good examples\n\nCons:\n\n1.No video\n\n2. need more examples

Instructor

Michael Genesereth

Associate Professor

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.

  • If you pay for this course, you will have access to all of the features and content you need to earn a Course Certificate. If you complete the course successfully, your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile. Note that the Course Certificate does not represent official academic credit from the partner institution offering the course.

  • Yes! Coursera provides financial aid to learners who would like to complete a course but cannot afford the course fee. To apply for aid, select "Learn more and apply" in the Financial Aid section below the "Enroll" button. You'll be prompted to complete a simple application; no other paperwork is required.

More questions? Visit the Learner Help Center