• 浅谈数理逻辑教学

    浅谈数理逻辑教学

    论文摘要数理逻辑已被越来越多的高校作为必修课和选修课。作为研究不确定性推理和非经典逻辑方向的必修课,搞好数理逻辑教学尤为重要,本文是在听取王国俊教授的讲课后结合同学的学习体会分...
  • 非经典逻辑中“否定”的含义澄清——以亚相容、直觉主义、量子逻辑为例

    非经典逻辑中“否定”的含义澄清——以亚相容、直觉主义、量子逻辑为例

    论文摘要在命题逻辑的范围之内,否定作为各类逻辑系统中必不可少的一元连接词,其确定的意义和适用范围一直存在争议,也因此,构建于否定基础之上的各类逻辑系统之间的关系也不甚明了。当非...