Introduction to Logic
Offered By: Stanford University via Stanford OpenEdx
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.
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.
Taught by
Michael Genesereth
Tags
Related Courses
Pensamiento algorítmicoTecnológico de Monterrey via Coursera 离散数学概论 Discrete Mathematics Generality
Peking University via Coursera Cómo resolver problemas y tomar decisiones con eficacia
University of California, Irvine via Coursera Wissenschaftliches Denken, Arbeiten und Schreiben
Fachhochschule Münster via iversity Mathematical Logic and Algorithms Theory
Tomsk State University of Control Systems and Radioelectronics via iversity