咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 8 篇 期刊文献

馆藏范围

  • 8 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 理学
    • 1 篇 数学
  • 3 篇 工学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 8 篇 约束变元
  • 2 篇 谓词演算
  • 2 篇 自由变元
  • 2 篇 几何定理
  • 1 篇 三角形面积
  • 1 篇 计算机数学基础
  • 1 篇 qocc
  • 1 篇 逻辑方法
  • 1 篇 语境
  • 1 篇 ramsey语句
  • 1 篇 量词
  • 1 篇 集合论公理系统
  • 1 篇 不大于
  • 1 篇 初等几何
  • 1 篇 集合
  • 1 篇 莫勒定理
  • 1 篇 解释
  • 1 篇 定理机器证明
  • 1 篇 现代逻辑
  • 1 篇 形式定义

机构

  • 1 篇 中央电大
  • 1 篇 南京大学
  • 1 篇 中国科学院成都分...
  • 1 篇 辽宁师范大学
  • 1 篇 中国科学院紫金山...
  • 1 篇 深圳大学
  • 1 篇 中山大学
  • 1 篇 南京通信工程学院

作者

  • 1 篇 王元元
  • 1 篇 汪灵华
  • 1 篇 谢琳
  • 1 篇 骆光武
  • 1 篇 井中
  • 1 篇 徐明明
  • 1 篇 李家根
  • 1 篇 张志林
  • 1 篇 张景中
  • 1 篇 徐敏
  • 1 篇 冯泰

语言

  • 8 篇 中文
检索条件"主题词=约束变元"
共 8 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
关于Ramsey语句的一个注记
收藏
分享
引用
深圳大学学报（人文社会科学版） 1993年 第3期10卷 25-34页
作者： 徐明明 深圳大学社科部
F·P·Ramsey(拉姆西)发现,应用二阶逻辑对一个有有限数目公理的科学理论T而言,T中的理论性词项可以被消除。将T的公理用Ramsey语句来代替可以保持T的所有的经验推论。狭义而言,Ramsey方法通过对理论性词项的意义存而不论,从而提供了一... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一个古老的梦实现了!——几何定理机器证明的吴法浅谈
收藏
分享
引用
自然杂志 1990年 第10期13卷 682-688,703页
作者： 井中
我国著名数学家吴文俊教授近年来在几何定理的机器证明方面取得了开创性的成果,他发明的方法被誉为“吴法”。《一个古老的梦实现了!——几何定理机器证明的吴法浅谈》对此作了深入浅出的介绍。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
程序说明语言
收藏
分享
引用
计算机工程与应用 1983年 第4期24卷 28-35页
我们从第一章介绍的软件生产流程中看出,要组织好一个软件系统,除了上面谈到的方法论问题之外,如何定义好一个文本。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
举例子能证明几何定理吗?
收藏
分享
引用
自然杂志 1991年 第1期14卷 55-62页
作者： 张景中 中国科学院成都分院
验证了一个三角形的内角之和为180°,就断言所有三角形的内角之和都为180°,从数学的逻辑来看,这是不是有点荒唐?但恰恰是数学来回答说:不,这是完全可以的。请不要忘记:从有限能推断无限,正是数学的魅力所在。而例证法的发明,使演绎和... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
计算机科学与逻辑学
收藏
分享
引用
自然杂志 1991年 第11期14卷 832-837页
作者： 王元元 汪灵华 骆光武 南京通信工程学院 中国科学院紫金山天文台 南京大学
我现在年纪大了,搞了这么多年软件,错误不知犯了多少,现在觉悟了。我想,假如我早在数理逻辑上好好下点功夫的话,我就不会犯这么多错误。不少东西逻辑学家早就说了,可我不知道。要是我能年轻20岁的话,就要回去学逻辑。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
计算机数学基础练习题2
收藏
分享
引用
当代电大 2002年 第11期 88-90页
作者： 冯泰 中央电大
1单项选择题(1)给定无向图如图1所示,下面给出的顶点集的子集中,不是点割集的是( ).
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
集合“描述法”表示中一些值得注意的问题
收藏
分享
引用
辽宁师范大学学报（自然科学版） 2011年 第1期34卷 1-5页
作者： 谢琳 李家根 辽宁师范大学数学学院 辽宁大连116029
在较多的教材和教辅材料中,存在某些不规范的集合表示,并缺乏必要的约定和解释.由于这些不规范表示方法的繁衍和流行,造成了很多学生学习数学过程中的理解障碍与思维混乱.介绍教学过程中引起困惑的某些争议;分析其产生的源头以及在教学... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
对Quine本体论承诺标准的几点质疑
收藏
分享
引用
中山大学研究生学刊（社会科学版） 2004年 第1期25卷 1-5页
作者： 徐敏 张志林 中山大学 中山大学哲学系2003级硕士生
本文针对Quine本体论承诺标准提出三个问题:是否如Quine所说,专名可以等值分析为摹状词,约束变元的使用是进入本体论承诺的唯一标准,QOCC的语境是外延的。对此作者给出了否定的答案,并分别进行了论证。
来源： 维普期刊数据库 维普期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件