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
Tags
Related Courses
Quantum Mechanics and Quantum ComputationedX Principles of Economics for Scientists
California Institute of Technology via Coursera The Science of Gastronomy
The Hong Kong University of Science and Technology via Coursera Exploring Quantum Physics
University of Maryland, College Park via Coursera Introduction to Complexity
Santa Fe Institute via Complexity Explorer