形式系统相关论文
美国奇幻小说《冰与火之歌》具有波澜起伏的虚构故事情节和优美独特的文学语言。本文借助刘宓庆的翻译美学理论，探析该小说第一卷《......
中国和日本是唇齿相依的两国,文化交流源远流长。《日本と日本人》广泛地涉及中国和日本文化史及政治,为促进中日两国的学术交流及......
童话是儿童文学一种重要的体裁。这种作品通过丰富的想象、夸张和象征来塑造形象,反映生活。王尔德一生只创作了九篇童话,却展现了......
<正> 在当今认知科学的时代里,逻辑和语言之间的关系既是哲学上十分复杂的问题,又是有争议的问题。问题之所以复杂和有争议,在我看......
<正> 逻辑研究推理并且主要是研究推理形式。具体地说,它研究推理中从前提到结论的必然联系。过去,人们从自然语言出发研究这种必......
<正> 在人类各种认识方式中,科学与哲学之间鲜明而巨大的差异相当引人注目。科学讲究明确、清晰、严密甚至数学化,它的任何理论都......
本文首先回答了什么是形式方法的问题,对在安全-关键系统使用的形式方法作了概括介绍,并通过介绍应用形式方法的安全-关键系统的实......
袁厚明主编的《管道检测技术问答》,于2010年4月由中国石化出版社(http://www.sinopec-press.com)出版发行,定价45.00元。该书是在......
国家社会科学“八五”规划项目《现代汉语方言大词典》分地点方言词典《苏州方言词典》已正式出版。1993年12月23日,苏州市民主促......
研究基于可信度的模糊一阶模态逻辑,给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述.为有效进行模糊断言间的推理,考......
由海外学者薄瑞良、宫鹏合著的一书近期将由高等教育出版社正式出版发行.本书是高等教育出版社筹划的“海外学者科技丛书”之一,也......
童话是儿童文学一种重要的体裁。这种作品通过丰富的想象、夸张和象征来塑造形象,反映生活。王尔德一生只创作了九篇童话,却展现了......
由于同学们在和Brad通信过程中,向他们的很多问题都集中在某些共同的话题,如怎么学英语,或加拿大是什么样子等。因此,Brad希望和他......
本期培训通过对财务共享中心基础知识的讲解,辅之以专题的形式系统探讨财务共享服务中心的建设、运营管理,从实际操作层面帮助企业......
在复习概念时,一要防止死记硬背、简单的机械重复;另一方面要按《大纲》要求拟定复习标高。对于一些概念可以用举例讲解、辨析错......
北京师范大学哲学学院李建会教授主持的国家社科基金的结项成果《计算主义及其理论难题研究》2016年由中国社会科学出版社出版。本......
计算主义是认知科学和心灵哲学中的主流研究纲领,但在近年来面临着越来越严峻的挑战。李建会教授等人合著的《计算主义及其理论难......
哥德尔的不完全性定理、埃舍尔的诡异版画、巴赫的天籁之曲……如果有一本书可以与之相提并论的话，那就是道格拉斯·霍夫斯塔特教授......
中国石化医药工会王永庚撰文说,在全总十二届二次执委会议上,尉健行同志基于对形势的深入分析和对机遇的准确把握,及时提出工会工......
湖北民族学院学生理论学习坚持不懈□覃艳妮彭泽舟湖北民族学院大学生们除了搞好专业学习外，还通过听讲座、听报告、参观、看录像、......
有些书如果不善于利用,看来价值不大,没有什么大用处,但如果善于利用,则会对读者有很大的帮助与稗益。本书也许就是一个例子。 本......
郁慕镛、俞瑾主编《形式逻辑纲要》已由江苏科技出版社出版。以现代逻辑观念统帅全书,是该书的重要特色。该书上编虽然讲授的是传......
机器会思维。这并不是一个可简单证实或证伪的命题。在一九九六年第七期《电脑有无意识》一文中，尽管原文有“电脑有无意识的问题…......
三形式与神韵 形式一词,原指事物的内部结构和规律,这里则指承载思想和情感的笔墨语言和图式结构。神韵是指蕴涵于形式之中的主体......
由丹珠昂奔教授主编的《历辈达赖喇嘛与班禅额尔德尼年谱》(以下简称《年谱》),新近由中央民族大学出版社出版。该书在考证和研究......
本书以儿童歌谣的形式叙述了蒙古族的历史和文化,从而填补了蒙古族儿童缺少以通俗易懂的形式系统介绍蒙古族历史文化读物的空白。1......
以合肥市滨湖新区核心区作为中美低碳生态示范区为背景,介绍了市政热源、冰蓄冷、天然气分布式能源、地源热泵以及再生水源热泵等......
对何海霞先生艺术成就的意义和他对当代中国山水画发展的贡献、有重新认识的必要.何海霞(1908——1998)生于北平一个贫寒的满族家......
逻辑系统的健全性是由何华灿教授引入的逻辑学新概念.本文分析了t-模基模糊逻辑形式系统健全性缺失的关健原因,通过改造t-模的定义......
善意取得制度是适应商品经济发展需要而产生的一项交易规则，我国《物权法》第一次以立法的形式系统地对该制度了以界定。该法一......
创新的概念和内涵非常丰富，在某些行业的实践过程中过度强调了创新属性的某一方面，造成社会发展中的一些问题。本文形象地假想创......
模糊函数依赖是模糊关系数据库设计理论的基础.本文提出了基于语义包含的模糊函数依赖概念,它是传统函数依赖概念的推广.给出了类......
本文致力于研究定义在满足开放世界预设的可能世界集合上的命题和逻辑结构.在文献[7]的基础上,本文发展出一种基于开放世界预设的3......
在扩展的时态逻辑框架下对自动化仓库中的客户服务管理问题进行研究，内容包括对此服务管理过程进行描述与分析，并给出了相应的控制策......
在基于具有某种程度的不一致性的知识进行推理的过程中，为了消除知识的不一致性，只能将这些知识看成假说，并通过对假说进行修正以重新......
文中提出了一种加权模糊逻辑推理模型，该模型描述了不确定性问题求解领域中比较普遍存在的“加权逻辑与”、“加权逻辑或”和“加权......
外语教学大纲明确规定：外语教学的目的是培养学生综合运用外语进行交际的能力。语言首先是一个形式系统，或称语码系统。它包括语法和......
本文概述了CAD中的人工智能系统,包括早期的问题求解程序、扩展谓词逻辑的形式系统、专家系统以及第五代计算机的智能 CAD系统,表......
