形式化

append

附加

他以两个链表(list)的"附加"(append)操作为例说明可以用递归的方法定义这个函数,并可以用形式化的方法证明链表的附加操作是满足结合律的(associative law ),即但不知什么原因,这篇演说没有发表.

arithmetization

算术化

原先作为可直观的几何学发展成纯粹的解析几何,接踵而来的纯形式的「解析学(analysis)」、「集合论(theory of manifolds)」、「符号逻辑(logistic)」都意味着「算术化(arithmetization )」所导致的普遍「形式化(formalization )」,

ASCII

美国标准信息交换码

"美国标准信息交换码"(ASCII)是这种"形式化"的基础. 就此而论,"中文信息处理"至今没有自己独立的基础. "统一编码"(Unicode)虽然提供了国际标准,但是,仍不能改变汉语与英语在此基础方面的根本差距. 有一个办法可消除这个差距.

axiom

公设

其形式化的(formal)特性也使其具有并明 性选择、计 政治(quantitative political study )和台湾政治学研究者根据符合某些公设(axiom)条件的偏好排序(preference ordering )进的问题,

axiomatic semantics

公理语义

公理语义(axiomatic semantics) 运用数学中的公理化方法给出的计算机语言的语义. 不同的人在了解程序的含义时有不同的要求. 例如,有的人只关心程序的数据输入和输出,而不关心程序是否正确终止. 公理语义就是研究如何将这些不同的要求形式化,

calculable

可计算的

可见,韦伯的心目中的理性或理性化,是指使一切事情成为可计算的(calculable)并以效率化、形式化、制度化为依归. 至于目标的最终确立,它不属于事实,而是与情感、传统或个人主观上的价值判断相关的事. 在这种把理性工具化的发展趋势中,

hamilton canonical equation

哈密顿正则方程

hamel spiral 哈梅尔螺线 | hamilton canonical equation 哈密顿正则方程 | hamilton formulation 哈密顿形式化

Formal Semantics

形式语义 形式語義

formal形式化的,正式的形式化的,正式的 | formal semantics形式语义形式語義 | import导入匯入

ritualized

形式化 - ritual 仪式

37. wrestling 摔跤 (rest-ling) | 38. ritualized 形式化 - ritual 仪式 | 39. referee 裁判员

Formalising

形式化

[2]. Distributing in communities:社区中发布观点 | [3]. Formalising:形式化 | [5]. Formal training:正式培训

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul