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

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

瀏覽:1380
日期:2025-05-13
数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑(相对于哲学逻辑),又称元数学,后者的 ......看更多