数学与认知,本文主要内容关键词为:认知论文,数学论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。摘要:数学作为一种认知结构,构成人类认识物质世界的思维活动的基...
从逻辑发生学看形式逻辑与辩证逻辑的关系,本文主要内容关键词为:辩证逻辑论文,形式逻辑论文,逻辑论文,发生论文,关系论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下...
对微积分中辩证法的认识,本文主要内容关键词为:微积分论文,辩证法论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号N031文献标识码:A1甲:长期以来...
从辩证逻辑视角看微积分,本文主要内容关键词为:辩证逻辑论文,微积分论文,视角论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。[中图分类号]:B027[文献标识...
论类型逻辑语法的多种表述,本文主要内容关键词为:语法论文,逻辑论文,多种论文,类型论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。一、类型逻辑语法的三种基本表...
皮亚杰论逻辑认识论,本文主要内容关键词为:认识论论文,逻辑论文,皮亚杰论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B81-05文献标识码:A文...
类型—逻辑语法的句法特色,本文主要内容关键词为:句法论文,语法论文,逻辑论文,特色论文,类型论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B81...
从语言到逻辑——范畴类型逻辑序列,本文主要内容关键词为:逻辑论文,序列论文,范畴论文,语言论文,类型论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号...
多模态范畴逻辑研究,本文主要内容关键词为:范畴论文,逻辑论文,多模论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。一、多模态范畴逻辑的背景介绍自上个世纪70年...
不伦不类开放类——评鞠实儿的开放类逻辑,本文主要内容关键词为:不伦不类论文,逻辑论文,评鞠实儿论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。“开放类逻辑”,...
对抽象代数的哲学审视,本文主要内容关键词为:代数论文,抽象论文,哲学论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:N03文献标志码:A文章编号:...
谓词抽象及其作用,本文主要内容关键词为:谓词论文,抽象论文,作用论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。[中图分类号]B81[文献标识码]A[文章编号...
逻辑是发现的、发明的,还是建构的?,本文主要内容关键词为:逻辑论文,发现论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B811文献标识码:A文章...
汉语亲属关系的语义表示和自动推理,本文主要内容关键词为:亲属关系论文,汉语论文,语义论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。0.引言:语义特征分析法的...
论早期胡塞尔的算术哲学,本文主要内容关键词为:算术论文,哲学论文,胡塞尔论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。〔中图分类号〕N0〔文献标识码〕A〔文...
余代数与模态逻辑,本文主要内容关键词为:代数论文,逻辑论文,模态论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B815文献标识码:A文章编号:1...
皮尔士存在图的形式推演系统,本文主要内容关键词为:皮尔论文,形式论文,系统论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B812.23文献标识码...
莱布尼茨数学思想的统一性,本文主要内容关键词为:思想论文,数学论文,莱布尼茨论文,统一性论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。戈特弗里德·威廉·莱布...
心智*运算:逻辑学研究的一种价值取向,本文主要内容关键词为:逻辑学论文,心智论文,价值取向论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。[提要]在近代学术发...
伍前红[1]2004年在《可信密码学计算的关键技术及其在电子商务中的应用》文中提出本文对可信密码学计算的关键技术进行比较深入的研究,内容包括高效的知识证明协议、可信的公钥加密与不经意加密、高安全性的数字签字与匿名数字签字、可信的电子商务协议设计等问题,提高这些密码学原型与系统的安全性与效率。主要成果...