Introduction to Logic Offered By Stanford University

About this Course

This course provides an introduction to logic from a computational perspective. It demonstrates how to encode information in the form of logical sentences, how to reason with this information, and provides an overview of logic technology and its applications in mathematics, science, engineering, business, law, and other fields.

Instructor rating

 3.77/5 (34 Ratings)

Michael Genesereth

Associate Professor

Computer Science Department

Offered by

Stanford University