语言

软件语言及其实现

《软件语言及其实现》,作者:徐家福,吕建著 出版社:科学出版社 ISBN:7030084853。全书分为需求级语言篇;功能级语言篇;设计级语言篇;实现级语言篇。着重讲述作者设计之语言及其实现系统。侧重语言兼及实现。讨论了语言源流、设计背景、设计思想、设计原则、成分取舍、应用实况、利弊得失等。

英语写作语言表现的测量及测量指标的研究

《英语写作语言表现的测量及测量指标的研究》,作者:陈慧媛 出版社:科学出版社 ISBN:9787030448132。本书旨在对英语写作语言表现的测量指标及指标体系进行理论与实验相结合的系列探讨和检验。书中在综合现有文献后遴选和设计了66项能体现学习者英语写作语言中表现不同维度特征的指标,并进行了较大规模的写作实验和多角度的统计分析。实验和分析结果验证了测量指标的类别属性,发现了指标对学习者英语

质量-国际的共同语言

《质量-国际的共同语言》,作者:不详 出版社:科学出版社 ISBN:7030034546。本书介绍了世界各国质量管理理论与方法,一些著名企业中质量工作取得成功的经验和诀窍,并汇集了国际质量标准9000系列。

语言与认知

《语言与认知》,作者:常艳,邓红风 出版社:科学出版社 ISBN:9787030469687。语言是人类特有的一种能力,也是人类心智活动和认知能力的体现。语言和其他认知机制有着密切的联系,是人类抽象符号思维能力最直接的代表。从认知角度研究语言已经成为语言学研究的一个主要方向;同时,语言学本身也是认知科学的基础学科之一。 认知科学是一门跨学科综合性研究领域。本书从目前公认的

自然约束语言

《自然约束语言》,作者:Jianyang Zhou 出版社:科学出版社 ISBN:9787030317841。本书介绍自然约束语言NCL及其开发平台POEM。全书共6章, 其中第1章简要介绍NCL语言与求解系统; 第2章和第3章介绍NCL语言的基本体系和原理方法, 内容包括NCL的词法、语法及语义等; 第4章介绍NCL语言的开发平台POEM的使用方法; 第5章介绍如何用NCL语言进行建模

MATLAB语言与控制系统仿真

《MATLAB语言与控制系统仿真》,作者:杨成慧 主编 出版社:科学出版社 ISBN:9787030585189。本书根据实际需要,系统地介绍数学软件MATLAB 7.0的基本功能,包括数值计算功能、符号运算功能和图形处理功能等,在此基础上精心设计了丰富的实例,并且有一些导入案例、知识拓展和MATLAB实验,这样可以更好地拓展知识,提高读者的实践应用能力。MATLAB语言与控制系统仿真的结合

COBOL语言基础教程 : 结构化和程序设计方法

《COBOL语言基础教程 : 结构化和程序设计方法》,作者:D.S.董 出版社:科学出版社 ISBN:15031689。本书叙述在带有磁盘操作系统的IBM370计算机上实现的ANSCOBOL,采用了结构化程序设计的概念.内容较系统,详细,由浅入深.书中例题丰富多样,并已实际上机运行过.本书可供高等院校有关专业师生及企业、事业单位管理人员学习、参考.

语言与逻辑——当代反实在论的核心问题研究

《语言与逻辑——当代反实在论的核心问题研究》,作者:胡瑞娜 出版社:科学出版社 ISBN:9787030475947。实在论与反实在论之争是当代西方哲学的核心问题之一。随着现代数理逻辑和量子力学的发展,实在论受到来自各方面的挑战。而现代数理逻辑和量子力学所证明的排中律和二价原则的无效性则为反实在论提供了强有力的依据。随着对形而上学的拒斥带来的“本体论的弱化”以及“语言学转向”的到来,语言和逻辑成