形式系统相关论文
美国奇幻小说《冰与火之歌》具有波澜起伏的虚构故事情节和优美独特的文学语言。本文借助刘宓庆的翻译美学理论，探析该小说第一卷《......
中国和日本是唇齿相依的两国,文化交流源远流长。《日本と日本人》广泛地涉及中国和日本文化史及政治,为促进中日两国的学术交流及......
童话是儿童文学一种重要的体裁。这种作品通过丰富的想象、夸张和象征来塑造形象,反映生活。王尔德一生只创作了九篇童话,却展现了......
国家社会科学“八五”规划项目《现代汉语方言大词典》分地点方言词典《苏州方言词典》已正式出版。1993年12月23日,苏州市民主促......
童话是儿童文学一种重要的体裁。这种作品通过丰富的想象、夸张和象征来塑造形象,反映生活。王尔德一生只创作了九篇童话,却展现了......
哥德尔的不完全性定理、埃舍尔的诡异版画、巴赫的天籁之曲……如果有一本书可以与之相提并论的话，那就是道格拉斯·霍夫斯塔特教授......
机器会思维。这并不是一个可简单证实或证伪的命题。在一九九六年第七期《电脑有无意识》一文中，尽管原文有“电脑有无意识的问题…......
以合肥市滨湖新区核心区作为中美低碳生态示范区为背景,介绍了市政热源、冰蓄冷、天然气分布式能源、地源热泵以及再生水源热泵等......
该文首先简要介绍了逻辑学家哥德尔的生平、不完全性定理的梗概以及国内对此定理的研究情况,继而给出了不完全性定理的一个简单的......
形式系统是现代数理逻辑的一个重要内容。形式系统从大的方面通常分为两大类:公理系统和自然演绎系统。除了这两种主要的形式系统......
同济大学中法中心位于校园东南角,西临校园内现存最老的建筑物一二·九大楼和一二·九纪念园.基地内另有9棵散落的雪松、梧桐、槐......
关于语言的本质,文献中有许多各不相同的哲学家观点。本文评述三种语言哲学观点,包括:(1)语词的一切意义乃是私人的思想;(2)语言是......
“弗协调逻辑”(paraconsistent logic),又译作“次协调逻辑”、“超协调逻辑”,是非经典逻辑的一个新兴分支.它是一种不能从矛盾......
讲授法是以语言传递信息为主的教学方法，是通过教师的口头语言表达、讲解、讲演等形式系统地向学生传授知识、发展学生智力的方法，亦......
NO.1rn西藏1300余年的藏传佛教绘画史,在中国美术史和世界美术史上独树一帜.经过无数代大师集体智慧的积淀,凝聚成的精炼成熟的形......
模态逻辑是一个多方面的学科,它起初在哲学中得名,在很长一段时间中作为“必然和可能的逻辑”而被人所知.但是,把模态逻辑视为关于......
Zadeh在文[1]中引入Fuzzy集概念之后,这一概念被Goguen[2]推广,真值域由单位闭区间被更一般的格所代替.Rosenfeld[3]将Zadeh的思想......
期刊
提出一种将命题逻辑公式压缩表示的方法--公式的压缩图,给出相应的形式系统,并证明该系统的证明效率比传统相继式演算系统Gentzen{......
