期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
中国古代机器人 被引量: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
上一页 1 下一页 到第
使用帮助 返回顶部