排序方式: 共有5条查询结果,搜索用时 0 毫秒
1.
在G(o)del系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类.
相似文献
2.
在G(o)del系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类.
相似文献
3.
数学是大多数接触者感到头痛的学科,其源于数学知识的高度抽象.因此在数学教学中有效运用信息技术是破解难点,提高教学效果和教学质量的重要方法之一.
相似文献
4.
在Goedel系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类。
相似文献
5.
在Gdel系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类。
相似文献