【摘 要】
：
蒙太格语法是由美国逻辑学家理查德·蒙太格创立的一种形式语言理论,是在一阶逻辑的基础上,通过对语句的结构和赋值增加了某些强有力的形式工具而形成的.形式语言包括:(i
论文部分内容阅读
蒙太格语法是由美国逻辑学家理查德·蒙太格创立的一种形式语言理论,是在一阶逻辑的基础上,通过对语句的结构和赋值增加了某些强有力的形式工具而形成的.形式语言包括:(i)一阶谓词逻辑,(ii)模态算子,(iii)时态算子,(iv)兰姆达抽象,(v)形成谓词内涵和外延的算子.蒙太格提供了一个类型论的结构,这种结构允许对每种表达式加以量化.蒙太格的形式语言又可称之为内涵语言.他依据个体,真值,可能世界和时间座标以及所有这些的函项概念给出了内涵语言的的一个模型.内涵语言使我们能给出对自然语言语句的间接解释.
其他文献
本文以具有钙钛矿结构的Mn基稀土掺杂氧化物La1-xTxMnO3为重点,结合近年来国内外的最新研究成果,概括介绍了这类材料的晶格结构、电磁特性及其电阻效应等,并对其可能的机理进
文章针对网络课程自身特点和网络教育规律,对网络课程教学设计进行了较为系统的探讨,包括网络课程教学设计的基本原则、开放式教学内容设计、多元化教学目标设计和全方位教学
MAX668/MAX669是美国MAXIM公司生产的固定频率的PWM控制器.本文详细介绍了其主要特性、管脚排列,并给出了自举和非自举操作时的典型应用电路.
高校是发展知识经济的重要力量,发展知识经济与保护知识产权的关系十分密切.但目前高校知识产权的保护存在很多障碍因素,为此应建立有效的保护高校知识产权的管理运行机制和
本文对当前存在的"信仰危机"和"宗教热"现象产生的根源进行了探讨.认为社会发展由一元化走向多元化、经济领域的大变革对精神领域的撞击、现实社会问题的存在、政治信仰的弱
本文介绍全息技术的概念、全息照相的过程,全息存储的基本原理及全息存储的分类、全息存储的优点.
"三个代表"对新的历史条件下建党治国的战略思路和改进党的建设等重大理论和现实问题,做出了科学回答."三个代表"重要思想的理论贡献及其重大作用为:一个突破、两个统一、三
本文探讨了中学英语教学的三种强调手段:语言手段、词汇手段和语法手段,以期提高学生的书面表达能力和口语表达能力.
本文比较详细地剖析了校园网络中网络安全的表现形式、影响校园网安全的原因,及进行安全防护所应采取的策略和防护技术.