![普通句语义解释与形式化的比较研究_语义分析论文]()
概称句的语义解释及形式化比较研究，本文主要内容关键词为：语义论文,概称句论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。［中图分类号］B81［文献标识码］A［...
![可拓逻辑研究展望_人工智能论文]()
可拓逻辑研究展望，本文主要内容关键词为：逻辑论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。[中图分类号]B81[文献标识码]A[文章编号]1002-8862...
![“概念的双重功能”与逻辑理论的证明--冯契理论的推广与应用_本质主义论文]()
“概念的双重作用”与逻辑理论的证成——对冯契理论的一点引申与应用，本文主要内容关键词为：理论论文,逻辑论文,概念论文,作用论文，此文献不代表本站观点，内容供学术参考，文章仅供参...
![中国逻辑研究的新进展--邹崇礼“中国逻辑形式化研究”述评_语义分析论文]()
汉语逻辑研究的新进展——邹崇理汉语逻辑形式化研究述评，本文主要内容关键词为：汉语论文,逻辑论文,述评论文,新进展论文,邹崇理论文，此文献不代表本站观点，内容供学术参考，文章仅供...
![关于知识组织体系的若干理论问题_语义分析论文]()
关于知识组织体系的若干理论问题，本文主要内容关键词为：体系论文,理论论文,组织论文,知识论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。(来稿时间：2006-...
![批判性思维：逻辑革命_批判性思维论文]()
批判性思维：逻辑的革命，本文主要内容关键词为：批判性论文,逻辑论文,思维论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：B80文献标识码：A文章编...
![知识组织系统的描述与评价分析_系统评价论文]()
知识组织系统的描述与评价浅析，本文主要内容关键词为：评价论文,组织论文,知识论文,系统论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。1知识组织系统的提出19...
![论中国辩证逻辑的历史发展--纪念中国逻辑学会成立30周年大会报告_逻辑学论文]()
对我国辩证逻辑的历史发展之浅见——在纪念中国逻辑学会成立30周年大会上的报告，本文主要内容关键词为：辩证逻辑论文,浅见论文,大会上论文,中国论文,逻辑论文，此文献不代表本站观点...
![哲学的形式化_哲学论文]()
哲学中的形式化，本文主要内容关键词为：哲学论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：B81文献标志码：A文章编号：2095-0047(201...
![数学三个世界理论简介_数学论文]()
数学三个世界的理论简介，本文主要内容关键词为：理论论文,数学论文,简介论文,世界论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。建构主义认为学习即发展，教学的...
![本体与自由分类融合机制研究_语义分析论文]()
本体与自由分类法的融合机理研究，本文主要内容关键词为：分类法论文,本体论文,机理论文,自由论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。Web2.0的产生、...
![从不同角度看知识本体论_adult论文]()
从不同的角度看知识本体，本文主要内容关键词为：本体论文,角度看论文,知识论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。1.0引言信息是信息处理的基础。处理信...
![形式化研究与形式化方法_形式主义论文]()
形式研究与形式化方法，本文主要内容关键词为：形式论文,方法论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。对于“形式主义”这一称谓而言，真正重要的不是关于文学...
![数学作为形式、结构和模型：数学研究对象的新解释_数学论文]()
作为形式—建构—模型的数学——关于数学研究对象的一个新阐释，本文主要内容关键词为：数学论文,研究对象论文,模型论文,形式论文，此文献不代表本站观点，内容供学术参考，文章仅供参考...
![哲学理论的形式化_哲学论文]()
哲学理论的形式化问题，本文主要内容关键词为：哲学论文,理论论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。【内容摘要】形式化是现代逻辑最重要的方法。将形式化方...
![现代逻辑思维方法与科学视野--来自爱因斯坦的一封信_科学论文]()
现代逻辑的思想方法与科学的眼界——从爱因斯坦的一封信谈起，本文主要内容关键词为：爱因斯坦论文,眼界论文,封信论文,逻辑论文,思想论文，此文献不代表本站观点，内容供学术参考，文章...
![数学抽象性的研究与思考_数学论文]()
数学抽象性的研究与思考，本文主要内容关键词为：抽象性论文,数学论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。抽象一词，来源于拉丁文“abstractio”，...
![基于三个数学世界的数学概念有效教学_数学论文]()
基于数学三个世界的数学概念高效教学，本文主要内容关键词为：数学论文,高效论文,概念论文,世界论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。英国华威大学教授韬...
![可信密码学计算的关键技术及其在电子商务中的应用]()
伍前红[1]2004年在《可信密码学计算的关键技术及其在电子商务中的应用》文中提出本文对可信密码学计算的关键技术进行比较深入的研究,内容包括高效的知识证明协议、可信的公钥加密与不经意加密、高安全性的数字签字与匿名数字签字、可信的电子商务协议设计等问题,提高这些密码学原型与系统的安全性与效率。主要成果...
![基于活动图模型的工作流形式化语义研究]()
邹显春[1]2003年在《基于活动图模型的工作流形式化语义研究》文中进行了进一步梳理工作流是一个运行的业务流程，工作流管理与工作流的控制及协同有关。工作流管理是一个被业界广泛应用并迅速发展的技术，它的主要特点是使处理过程自动化，使人和各种应用工具协同完成业务活动。工作流管理已在办公环境、工商业和制造...
