About this course: 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.
Who is this class for: The course was originally designed for use at the college level. However, experience has shown that it works for secondary school students as well, and it can be used at the start of graduate school for those who have not yet seen the material. There are just two prerequisites. The course presumes that the student understands sets and set operations, such as union, intersection, and so forth. It also presumes that the student is comfortable with symbolic manipulation, as used, for example, in solving high-school algebra problems. Nothing else is required.
Created by: Stanford University
Taught by: Michael Genesereth, Associate Professor
Computer Science Department
| Level | Intermediate |
| Commitment | 10 weeks of study, 4-8 hours/week |
| Language | English, Subtitles: Chinese (Simplified), Portuguese (Brazilian), Turkish, Spanish, Polish |
| How To Pass | Pass all graded assignments to complete the course. |
| User Ratings |
Syllabus
WEEK 1
Lesson 1 - Introduction
13 items
Graded: Exercise 1.1
Graded: Exercise 1.2
Graded: Exercise 1.3
Graded: Exercise 1.4
WEEK 2
Lesson 2 - Propositional Logic
1 video
Graded: Exercise 2.1
Graded: Exercise 2.2
Graded: Exercise 2.3
Graded: Exercise 2.4
Graded: Exercise 2.5
Graded: Exercise 2.6
Graded: Exercise 2.7
Lesson 3 - Propositional Analysis
14 items
Graded: Exercise 3.1
Graded: Exercise 3.2
Graded: Exercise 3.3
Graded: Exercise 3.4
Graded: Exercise 3.5
Graded: Exercise 3.6
WEEK 3
Lesson 4 - Propositional Proofs
20 items
Graded: Exercise 4.1
Graded: Exercise 4.2
Graded: Exercise 4.3
Graded: Exercise 4.4
Graded: Exercise 4.5
Graded: Exercise 4.6
Graded: Exercise 4.7
Graded: Exercise 4.8
Graded: Exercise 4.9
Graded: Exercise 4.10
Graded: Exercise 4.11
Graded: Exercise 4.12
Graded: Exercise 4.13
Graded: Exercise 4.14
WEEK 4
Lesson 5 - Propositional Resolution
1 video
Graded: Exercise 5.1
Graded: Exercise 5.2
Graded: Exercise 5.3
Graded: Exercise 5.4
WEEK 5
Lesson 6 - Relational Logic
19 items
Graded: Exercise 6.1
Graded: Exercise 6.2
Graded: Exercise 6.3
Graded: Exercise 6.4
Graded: Exercise 6.5
Graded: Exercise 6.6
Graded: Exercise 6.7
Lesson 7 - Relational Analysis
13 items
Graded: Exercise 7.1
Graded: Exercise 7.2
Graded: Exercise 7.3
WEEK 6
Lesson 8 - Relational Proofs
The description goes here
13 items
Graded: Exercise 8.1
Graded: Exercise 8.2
Graded: Exercise 8.3
Graded: Exercise 8.4
Graded: Exercise 8.5
Graded: Exercise 8.6
Graded: Exercise 8.7
Graded: Exercise 8.8
WEEK 7
Lesson 9 - Herbrand Logic
13 items
Graded: Exercise 9.1
Graded: Exercise 9.2
Graded: Exercise 9.3
Graded: Exercise 9.4
Graded: Exercise 9.5
WEEK 8
Lesson 10 - Herbrand Proofs
3 items
Lesson 11 - Induction
The description goes here
13 items
Graded: Exercise 11.1
Graded: Exercise 11.2
Graded: Exercise 11.3
Graded: Exercise 11.4
Graded: Exercise 11.5
Graded: Exercise 11.6
WEEK 9
Lesson 12 - Resolution
The description goes here
19 items
Graded: Exercise 12.1
Graded: Exercise 12.2
Graded: Exercise 12.3
Graded: Exercise 12.4
Graded: Exercise 12.5
Graded: Exercise 12.6
Graded: Exercise 12.7
Graded: Exercise 12.8
Graded: Exercise 12.9
Graded: Exercise 12.10
WEEK 10
Supplementary Material
4 items
FAQs
How It Works
Coursework
Each course is like an interactive textbook, featuring pre-recorded videos, quizzes and projects.
Help from Your Peers
Connect with thousands of other learners and debate ideas, discuss course material, and get help mastering concepts.
Certificates
Earn official recognition for your work, and share your success with friends, colleagues, and employers.
Creators
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.
Ratings and Reviews
Very good course. I had no previous knowledge of the topic before this course and after the first couple of weeks it gets difficult quickly, but perseverance helps. Some of the week's assignments I had to go back to at a later date. The in-course forums are invaluable and have a couple of you-tube links to some useful videos. It is surprising how much you learn and can apply to numerous other topics after completing this course. Overall it might infuriate you at some points but it is worth the occasional headache.
ótimo curso
Great course!
Coursera provides universal access to the world’s best education, partnering with top universities and organizations to offer courses online.
© 2017 Coursera Inc. All rights reserved.
SS
Wonderful course, very clear explanations, and the exercises (especially the proof editors) are just golden. Would definitely recommend this course to any one interested in Logic or related subjects, or just as a passing interest.