数理逻辑

标签：blog   bsp   detail   推理   程序   逻辑   体系   使用   关于   

弗雷格的逻辑体系，表现在今天就是我们数理逻辑中的命题演算和谓词演算(用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑)。弗雷格第一次用精确的句法构造出形式化的人工语言，使得逻辑推理表示为机械演算即所谓的推理规则成为可能。从这个观点看，概念文字是我们今天使用的计算机程序设计语言的前身。

https://blog.csdn.net/FnqTyr45/article/details/79576522

数理逻辑

标签：blog   bsp   detail   推理   程序   逻辑   体系   使用   关于   

原文地址：https://www.cnblogs.com/feng9exe/p/10609872.html