学一点数理逻辑 |
| |
引用本文: | 王国俊.学一点数理逻辑[J].数学学习,2000,3(1):33-36,40. |
| |
作者姓名: | 王国俊 |
| |
作者单位: | 陕西师范大学!西安710062 |
| |
摘 要: | 正如本文的题目所表明的那样 ,本文的目的在于让理工科的大学生们学一点数理逻辑 .如果说数理逻辑是一门艰深、抽象甚至有点枯燥的学科的话 ,那么除了很少一些从事数理逻辑研究的专家会反对而外 ,恐怕大多数人 (包括大多数数学家在内 )都会同意这种说法的 .事实上 ,早在数理逻辑还未发展到像今天这样深入的年代 ,德·摩根 (De Morgan)就说过 :“我们知道 ,数学家对于逻辑不如逻辑学家对于数学那样关心” (见 M. Kline著《古今数学思想》,第 4册 ) .不久以前 ,A.G.哈密尔顿 (Hamilton)在他的《数学家的逻辑学》一书的前言中也明确指出了存…
|
关 键 词: | 数理逻辑 命题演算 析取范式 合取范式 |
本文献已被 CNKI 维普 等数据库收录! |
|