形式化的逻辑相关论文
数学作为一种高度抽象化与形式化的逻辑性学科,容易使人忽略数学知识的发生与发展过程。数学的魅力被局限在数理表面,学生极少感受到......
<正>读了赖传祥、荣开明同志的“不应模仿形式逻辑的模式建立辩证逻辑的思维形式”(载《<中州学刊》1984年第2期)一文之后,觉得该......
谓词逻辑是人工智能科学赖以产生和发展的最重要理论基础,从计算机系统理想化知识表达法的要求来看,谓词逻辑表达法在人工智能科学......