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.
Offered By
Stanford University
About this Course
43,517 recent views
Skills you will gain
Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic
Syllabus - What you will learn from this course
Week
12 hours to complete
Lesson 1 - Introduction
13 quizzes
Week
24 hours to complete
Lesson 2 - Propositional Logic
1 video (Total 3 min), 14 quizzes
1 video
5 hours to complete
Lesson 3 - Propositional Analysis
14 quizzes
Week
37 hours to complete
Lesson 4 - Propositional Proofs
20 quizzes
Week
42 hours to complete
Lesson 5 - Propositional Resolution
1 video (Total 4 min), 8 quizzes
1 video
Week
55 hours to complete
Lesson 6 - Relational Logic
19 quizzes
4 hours to complete
Lesson 7 - Relational Analysis
13 quizzes
Week
64 hours to complete
Lesson 8 - Relational Proofs
The description goes here
15 quizzes
Week
74 hours to complete
Lesson 9 - Herbrand Logic
13 quizzes
Week
81 hour to complete
Lesson 10 - Herbrand Proofs
3 quizzes
5 hours to complete
Lesson 11 - Induction
The description goes here
13 quizzes
Week
96 hours to complete
Lesson 12 - Resolution
The description goes here
19 quizzes
Week
104 hours to complete
Supplementary Material
4 quizzes
4.5
109 Reviews67%
started a new career after completing these courses
50%
got a tangible career benefit from this course
Top reviews from Introduction to Logic
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.
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 ProfessorComputer 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
When will I have access to the lectures and assignments?
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.
What will I get if I purchase the Certificate?
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.
What is the refund policy?
Is financial aid available?
More questions? Visit the Learner Help Center.
Coursera provides universal access to the world’s best education,
partnering with top universities and organizations to offer courses online.
© 2019 Coursera Inc. All rights reserved.
