数理逻辑- 维基百科,自由的百科全书

数理逻辑- 维基百科,自由的百科全书

瀏覽:399
日期:2025-10-03
数理逻辑是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化 以后的形式系统。数理逻辑是数学基础 ......看更多