形式化的逻辑相关硕士博士期刊学术论文 - 搜论网

形式化的逻辑相关论文

数学史与高中数学教学的整合

数学作为一种高度抽象化与形式化的逻辑性学科，容易使人忽略数学知识的发生与发展过程。数学的魅力被局限在数理表面，学生极少感受到......

期刊

数学史数学教学高中数学形式化的逻辑发生与发展数学知识数学思想课程标准教学体系文化观抽象化学生学科数理历史表面

对谓词逻辑在人工智能科学中应用的分析

谓词逻辑是人工智能科学赖以产生和发展的最重要理论基础,从计算机系统理想化知识表达法的要求来看,谓词逻辑表达法在人工智能科学......

期刊

谓词逻辑人工智能知识表达形式化的逻辑

看过本文同时还关注