论文部分内容阅读
形式语义学是以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义。形式语义学可分为四大类,本文对这四类形式的语义学作了阐述,并提出了发展形式语义学的迫切性。
谈形式语义学
【摘 要】
：
形式语义学是以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义。形式语义学可分为四大类,本文对这四类形式的语义学作了阐述,并提出了发展形式语义学
【机 构】
：
金陵科技学院
【出 处】
：
科技资讯
【发表日期】
：
2010年34期
其他文献
运用产业生态理论,阐述科技服务产业生态的基本要素和科技服务业生态体系构成,重点对科技服务业发展的产业基础、综合科技实力、市场供求、从业者素质和机构信誉、公共基础设
随着目前我国社会经济的快速发展,人们经济实力的逐渐增强,相应的法律意识也不断提高,这也在很大程度上推动了律师行业的快速发展。目前我国正处于社会发展的转型阶段,在人们
本文研究的重点就在于这些软装饰设计所蕴含的审美文化和审美意识,为新时代下室内软装设计艺术的发展进行更加积极有益的探讨,旨在提高我国室内软装饰艺术的更高层次发展。
在线教育具有开放性、公平性、灵活性和可追溯性的优势,同时也存在约束性和互动性差等劣势。在线教育给高校教育发展带来了机遇,同时也带来了冲击,对于高校甚至整个教育系统
简述了变性淀粉的分类,主要综述了变性淀粉在不同剂型的普通化妆品、功能性化妆品及化妆品新品中的开发和应用以及国内外的研究现状与进展,并对相关的技术问题进行探讨和展望
目的:本研究旨在对我院2型糖尿病(type 2 diabetes mellitus,T2DM)患者饮食自我管理现状进行调查,分析其影响因素,从而明确饮食治疗在糖尿病(Diabetes Mellitus,DM)患者疾病
解决农机安全行政执法中存在的问题,做到严格执法、公正执法、文明执法,是摆在我们农机安全行政执法人员面前的一项重要任务。针对目前农机行政执法现状,提出了在较短时间内,
近年来菲律宾职业教育机构和学生数量增长迅速,同时也面临着职业教育学生就业存在困难、现有职业教育管理制度无法保证质量等挑战。菲律宾政府将通过发展职业教育资格框架、
文章通过探讨土地利用总体规划与城市总体规划间不协调与协调等两方面的原因,提出了对两规编制如何协调而采取怎样的相应措施。两规编制的协调对国民经济又好又快的发展具有
针对网络购物退货行为,从消费者个体差异角度提出主观退货意愿的概念。基于计划行为理论,从态度、主观规范和感知控制三个维度探索主观退货意愿的影响因素,借助因子分析构建