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.
課程信息
您將獲得的技能
- Relational Algebra
- Problem Solving
- Propositional Calculus
- Mathematical Logic
提供方

斯坦福大学
The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is an American private research university located in Stanford, California on an 8,180-acre (3,310 ha) campus near Palo Alto, California, United States.
授課大綱 - 您將從這門課程中學到什麼
Unit 1 - Introduction
Unit 2 - Propositional Logic
Unit 3 - Relational Logic
Unit 4 - Functional Logic
審閱
- 5 stars70.01%
- 4 stars15.15%
- 3 stars6.26%
- 2 stars3.13%
- 1 star5.43%
來自逻辑学导论的熱門評論
I feel like some things could have been explained better, maybe a better description of how the fitch tool worked. Other than that, it was a great course!
Love the proof related exercises. Felt like a deductive.
excellent teaching, detailed analysis, interesting theories, mind blowing facts, all in all it was my best experience online
Very interesting course But some parts are not just to technical but rather for technicians and not for persons looking more into the theoretical aspects
常見問題
我什么时候能够访问课程视频和作业?
我购买证书后会得到什么?
有助学金吗?
還有其他問題嗎?請訪問 學生幫助中心。