期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
中国古代机器人
被引量:
2
1
作者
陆敬严
《同济大学学报(社会科学版)》
1998年第1期14-17,46,共5页
近年来,随着科学技术的高速发展,机器人的应用日渐广泛。在中国古代,究竟有没有机器人呢,大量古籍的记载告沂我们,中国古代是有机器人的。 所谓机器人。
关键词
古代机器人
中国
古代
《傅子》
《新仪象法要》
《记纂渊海》
《列子》
《史记》
《事物纪原》
《明实录》
古籍
在线阅读
下载PDF
职称材料
传统名词逻辑的语义解释问题——从数理逻辑看传统逻辑
被引量:
1
2
作者
程仲棠
《暨南学报(哲学社会科学版)》
1987年第4期109-118,共10页
(一) 在传统名词逻辑中,一切逻辑形式都由变项与四个不同的逻辑常项、即“所有……是”(A)、“所有……不是”(E)、“有的……是”(I)、“有的……不是”(0)构成;其中,某些逻辑形式还含有否定词“非”,它也属于逻辑常项。传统逻辑的表...
(一) 在传统名词逻辑中,一切逻辑形式都由变项与四个不同的逻辑常项、即“所有……是”(A)、“所有……不是”(E)、“有的……是”(I)、“有的……不是”(0)构成;其中,某些逻辑形式还含有否定词“非”,它也属于逻辑常项。传统逻辑的表述工具既不是纯粹的自然语言,又不是纯粹的形式语言,而是一种半形式语言。
展开更多
关键词
传统逻辑
数理逻辑
推理形式
传统名
具体名词
古代机器人
名词变项
逻辑常项
单称名词
逻辑系统
在线阅读
下载PDF
职称材料
题名
中国古代机器人
被引量:
2
1
作者
陆敬严
机构
同济大学机械学院
出处
《同济大学学报(社会科学版)》
1998年第1期14-17,46,共5页
文摘
近年来,随着科学技术的高速发展,机器人的应用日渐广泛。在中国古代,究竟有没有机器人呢,大量古籍的记载告沂我们,中国古代是有机器人的。 所谓机器人。
关键词
古代机器人
中国
古代
《傅子》
《新仪象法要》
《记纂渊海》
《列子》
《史记》
《事物纪原》
《明实录》
古籍
分类号
TP242 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
传统名词逻辑的语义解释问题——从数理逻辑看传统逻辑
被引量:
1
2
作者
程仲棠
出处
《暨南学报(哲学社会科学版)》
1987年第4期109-118,共10页
文摘
(一) 在传统名词逻辑中,一切逻辑形式都由变项与四个不同的逻辑常项、即“所有……是”(A)、“所有……不是”(E)、“有的……是”(I)、“有的……不是”(0)构成;其中,某些逻辑形式还含有否定词“非”,它也属于逻辑常项。传统逻辑的表述工具既不是纯粹的自然语言,又不是纯粹的形式语言,而是一种半形式语言。
关键词
传统逻辑
数理逻辑
推理形式
传统名
具体名词
古代机器人
名词变项
逻辑常项
单称名词
逻辑系统
分类号
C55 [社会学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
中国古代机器人
陆敬严
《同济大学学报(社会科学版)》
1998
2
在线阅读
下载PDF
职称材料
2
传统名词逻辑的语义解释问题——从数理逻辑看传统逻辑
程仲棠
《暨南学报(哲学社会科学版)》
1987
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部