Introduction to Logic
Syllabus - What you will learn from this course
1
Lesson 1 - Introduction
2
Lesson 2 - Propositional Logic
Lesson 3 - Propositional Analysis
3
Lesson 4 - Propositional Proofs
4
Lesson 5 - Propositional Resolution
5
Lesson 6 - Relational Logic
Lesson 7 - Relational Analysis
6
Lesson 8 - Relational Proofs
7
Lesson 9 - Herbrand Logic
8
Lesson 10 - Herbrand Proofs
Lesson 11 - Induction
9
Lesson 12 - Resolution
10
Supplementary Material
Top Reviews
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.
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 ProfessorAbout Stanford University
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 pay for this course?
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.
What is the refund policy?
Is financial aid available?
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
