返回所有课程
继续你在逻辑上的冒险，与维恩图、三段论、命题逻辑和一阶逻辑的谜题。
在本课程结束时，你将探索真相的深层基础，以及应用逻辑到人工智能专家系统和语言分析。
考察课程中的逻辑语言，并解决一些有趣的谜题。
推断哪些参数是有效的或无效的。
练习一些经典的骑士和无赖谜题。
使用一个骑士和无赖的难题来学习高级逻辑的开端。
可视化的工具，布局逻辑思维和避免谬误。
使用图表来联系范畴是接近三段论的基本工具。
“所有”、“一些”和“没有”这些表述在维恩图中看起来像什么?
试着把逻辑和非逻辑区分开来。
看看不同的三段论命题是如何相互关联的。
只使用逻辑门构造算术函数。
复习二进制的基础知识。
什么时候一个数字比另一个大?
进入二进制减法的更深层次的复杂性。
设计标准算法和逻辑电路，然后研究一个有趣的捷径。
把逻辑谜题变成逻辑符号。
学习形式逻辑的基本术语。
用形式逻辑工具证明德摩根定律。
运用蕴涵打破新的思维规律!
哪些替代规则在逻辑上是有效的?
用一点额外的逻辑能力，描述宇宙。
练习正式且有逻辑地使用all和some。
学习如何用正式符号在一阶逻辑中表示语句。
修改多个逻辑变量而不是一个。
使用对偶对一阶逻辑语句进行转换，并学习前缀形式。
使用逻辑来控制和迷惑ai
伸展你的分析肌肉与骑士，无赖，逻辑门，和更多!
从RNA折叠到达尔文的进化树，这是一种简单的方法。
