list 10 sequences
assignment Level : Intermediate
chat_bubble_outline Language : English
language Subtitles : Chinese, Greek, Portuguese, German, Turkish, Spanish, Polish
card_giftcard 400 points
Users' reviews
5
starstarstarstarstar
Read review

Key information

credit_card Free access
verified_user Fee-based Certificate
timer 40 hours in total

About the content

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.

more_horiz Read more
more_horiz Read less
dns

Syllabus

  • Week 1 - Lesson 1 - Introduction
     
  • Week 2 - Lesson 2 - Propositional Logic
     
  • Week 2 - Lesson 3 - Propositional Analysis
     
  • Week 3 - Lesson 4 - Propositional Proofs
     
  • Week 4 - Lesson 5 - Propositional Resolution
     
  • Week 5 - Lesson 6 - Relational Logic
     
  • Week 5 - Lesson 7 - Relational Analysis
     
  • Week 6 - Lesson 8 - Relational Proofs
    The description goes here
  • Week 7 - Lesson 9 - Herbrand Logic
     
  • Week 8 - Lesson 10 - Herbrand Proofs
     
  • Week 8 - Lesson 11 - Induction
    The description goes here
  • Week 9 - Lesson 12 - Resolution
    The description goes here
  • Week 10 - Supplementary Material
     
record_voice_over

Instructors

Michael Genesereth
Associate Professor
Computer Science Department

store

Content designer

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

Platform

Coursera

Coursera is a digital company offering massive open online course founded by computer teachers Andrew Ng and Daphne Koller Stanford University, located in Mountain View, California. 

Coursera works with top universities and organizations to make some of their courses available online, and offers courses in many subjects, including: physics, engineering, humanities, medicine, biology, social sciences, mathematics, business, computer science, digital marketing, data science, and other subjects.

Reviews
5 /5 Average
starstarstarstarstar
1
starstarstarstarstar
0
starstarstarstarstar
0
starstarstarstarstar
0
starstarstarstarstar
0
Content
5/5
Platform
5/5
Animation
5/5
Best review

Great course!

Published on March 8, 2016
You are the designer of this MOOC?
What is your opinion on this resource ?
Content
0/5
Platform
0/5
Animation
0/5