Introduction to Logic

Offered By: Stanford University via Coursera

Course Description

Overview

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.

Syllabus

Unit 1 - Introduction
Unit 2 - Propositional Logic
Unit 3 - Relational Logic
Unit 4 - Functional Logic
Unit 5 - Conclusion

Taught by

Michael Genesereth

Related Courses

ABC du langage C
Institut Mines-Télécom via France Université Numerique Abstraction, Problem Decomposition, and Functions
University of Colorado System via Coursera Advanced Data Structures in Java
University of California, San Diego via Coursera Advanced React
Meta via Coursera Testing with Agile
University of Virginia via Coursera