类别存档。 数理逻辑

范式及其性质 摘要命题逻辑是数学和计算机科学中的一项基本工具。在本课中，将介绍一个与范式相关的有趣且…

什么是数学逻辑？探索其基础 摘要： 在本课中，您将了解数学逻辑的基本概念，包括它与语言的关系以及为什…

公式复杂性的归纳法 摘要在本节课中，您将学习一种数学归纳法的变体，称为“表达式复杂性归纳法”，它非常…

标准形算法及其应用 摘要在本节课中，我们将回顾 FND/FNC 算法，该算法可以帮助我们从任何命题逻…