• 数学与认知_数学论文

    数学与认知_数学论文

    数学与认知,本文主要内容关键词为:认知论文,数学论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。摘要:数学作为一种认知结构,构成人类认识物质世界的思维活动的基...
  • 从逻辑成因看形式逻辑与辩证逻辑的关系_逻辑与论文

    从逻辑成因看形式逻辑与辩证逻辑的关系_逻辑与论文

    从逻辑发生学看形式逻辑与辩证逻辑的关系,本文主要内容关键词为:辩证逻辑论文,形式逻辑论文,逻辑论文,发生论文,关系论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下...
  • 对微积分辩证法的认识_微积分论文

    对微积分辩证法的认识_微积分论文

    对微积分中辩证法的认识,本文主要内容关键词为:微积分论文,辩证法论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号N031文献标识码:A1甲:长期以来...
  • 辩证逻辑视角下的微积分_微积分论文

    辩证逻辑视角下的微积分_微积分论文

    从辩证逻辑视角看微积分,本文主要内容关键词为:辩证逻辑论文,微积分论文,视角论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。[中图分类号]:B027[文献标识...
  • 论类型逻辑语法的各种表达方式_自然语言论文

    论类型逻辑语法的各种表达方式_自然语言论文

    论类型逻辑语法的多种表述,本文主要内容关键词为:语法论文,逻辑论文,多种论文,类型论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。一、类型逻辑语法的三种基本表...
  • 皮亚杰的逻辑认识论_认识论论文

    皮亚杰的逻辑认识论_认识论论文

    皮亚杰论逻辑认识论,本文主要内容关键词为:认识论论文,逻辑论文,皮亚杰论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B81-05文献标识码:A文...
  • 逻辑语法的句法特征_自然语言处理论文

    逻辑语法的句法特征_自然语言处理论文

    类型—逻辑语法的句法特色,本文主要内容关键词为:句法论文,语法论文,逻辑论文,特色论文,类型论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B81...
  • 从语言到逻辑--范畴类型的逻辑序列_自然语言处理论文

    从语言到逻辑--范畴类型的逻辑序列_自然语言处理论文

    从语言到逻辑——范畴类型逻辑序列,本文主要内容关键词为:逻辑论文,序列论文,范畴论文,语言论文,类型论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号...
  • 多模态范畴逻辑研究_自然语言论文

    多模态范畴逻辑研究_自然语言论文

    多模态范畴逻辑研究,本文主要内容关键词为:范畴论文,逻辑论文,多模论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。一、多模态范畴逻辑的背景介绍自上个世纪70年...
  • 论朱士儿的开放类逻辑_语义学论文

    论朱士儿的开放类逻辑_语义学论文

    不伦不类开放类——评鞠实儿的开放类逻辑,本文主要内容关键词为:不伦不类论文,逻辑论文,评鞠实儿论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。“开放类逻辑”,...
  • 抽象代数的哲学述评_数学论文

    抽象代数的哲学述评_数学论文

    对抽象代数的哲学审视,本文主要内容关键词为:代数论文,抽象论文,哲学论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:N03文献标志码:A文章编号:...
  • 谓词抽象及其功能_命题逻辑论文

    谓词抽象及其功能_命题逻辑论文

    谓词抽象及其作用,本文主要内容关键词为:谓词论文,抽象论文,作用论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。[中图分类号]B81[文献标识码]A[文章编号...
  • 逻辑是被发现的、发明的还是被构造的?_心理学论文

    逻辑是被发现的、发明的还是被构造的?_心理学论文

    逻辑是发现的、发明的,还是建构的?,本文主要内容关键词为:逻辑论文,发现论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B811文献标识码:A文章...
  • 汉语亲属关系的语义表达与自动推理_亲属关系论文

    汉语亲属关系的语义表达与自动推理_亲属关系论文

    汉语亲属关系的语义表示和自动推理,本文主要内容关键词为:亲属关系论文,汉语论文,语义论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。0.引言:语义特征分析法的...
  • 论胡塞尔早期的算术哲学_数学论文

    论胡塞尔早期的算术哲学_数学论文

    论早期胡塞尔的算术哲学,本文主要内容关键词为:算术论文,哲学论文,胡塞尔论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。〔中图分类号〕N0〔文献标识码〕A〔文...
  • 余代数与模逻辑_代数论文

    余代数与模逻辑_代数论文

    余代数与模态逻辑,本文主要内容关键词为:代数论文,逻辑论文,模态论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B815文献标识码:A文章编号:1...
  • 皮尔斯存在图的形式演绎系统_命题逻辑论文

    皮尔斯存在图的形式演绎系统_命题逻辑论文

    皮尔士存在图的形式推演系统,本文主要内容关键词为:皮尔论文,形式论文,系统论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B812.23文献标识码...
  • 莱布尼茨数学思想的统一_数学论文

    莱布尼茨数学思想的统一_数学论文

    莱布尼茨数学思想的统一性,本文主要内容关键词为:思想论文,数学论文,莱布尼茨论文,统一性论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。戈特弗里德·威廉·莱布...
  • 心理操作:逻辑学研究的价值取向_心理学论文

    心理操作:逻辑学研究的价值取向_心理学论文

    心智*运算:逻辑学研究的一种价值取向,本文主要内容关键词为:逻辑学论文,心智论文,价值取向论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。[提要]在近代学术发...
  • 可信密码学计算的关键技术及其在电子商务中的应用

    可信密码学计算的关键技术及其在电子商务中的应用

    伍前红[1]2004年在《可信密码学计算的关键技术及其在电子商务中的应用》文中提出本文对可信密码学计算的关键技术进行比较深入的研究,内容包括高效的知识证明协议、可信的公钥加密与不经意加密、高安全性的数字签字与匿名数字签字、可信的电子商务协议设计等问题,提高这些密码学原型与系统的安全性与效率。主要成果...