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
Think Again: How to Reason and ArgueDuke University via Coursera Language, Proof and Logic
Stanford University via edX Artificial Intelligence: Knowledge Representation And Reasoning
Indian Institute of Technology Madras via Swayam Mathematical Logic and Algorithms Theory
Tomsk State University of Control Systems and Radioelectronics via iversity Think Again II: How to Reason Deductively
Duke University via Coursera