Home Stanford Introduction to Logic

Introduction to Logic

727
0
Introduction to Logic

About This University Online Course:

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. Like this course there are more courses of Stanford for this you can visit Online Stanford University Courses.

Created by:  Stanford University

Taught by:  Michael Genesereth, Associate Professor

Take This Online Course

Online Course Syllabus:

The course is ten modules long and is designed to be completed in Ten weeks.

WEEK 1
Lesson 1 – Introduction
WEEK 2
Lesson 2 – Propositional Logic
Lesson 3 – Propositional Analysis
WEEK 3
Lesson 4 – Propositional Proofs
WEEK 4
Lesson 5 – Propositional Resolution
WEEK 5
Lesson 6 – Relational Logic
Lesson 7 – Relational Analysis
WEEK 6

Lesson 8 – Relational Proofs

WEEK 7

Lesson 9 – Herbrand Logic

WEEK 8
Lesson 10 – Herbrand Proofs
Lesson 11 – Induction
WEEK 9
Lesson 12 – Resolution
WEEK 10
Supplementary Material

Take This Online Course