定理发现相关硕士博士期刊学术论文 - 信丰网

定理发现相关论文

逻辑程序的语义和强等价逻辑程序研究

逻辑程序是知识表示和非单调推理研究的重要领域。本文的研究背景是包含否定的逻辑程序。论文介绍了逻辑程序语义研究的现状，综述了......

学位

逻辑程序回答集强等价逻辑程序定理发现

以立体几何教学为例谈理性精神的培育

数学教学中,让学生充分感受数学的理性精神所焕发的魅力是极有价值的。为此,要引导学生对数学知识的本质进行理性认识,还要通过一......

期刊

理性精神立体几何认知主线定理发现概念建构

看过本文同时还关注