程序以操作表达式的形式呈现,而其语义则以公理的形式给出。
来源:互联网摘选解决副作用问题时采用语义方法,引入场景的概念解释意图算子,并提出了新的公理。
来源:互联网摘选On Axiomatical Hypotheses of Classical and Quantum Statistical Mechanics
论经典统计力学与量子统计力学中的公理假设
来源:互联网摘选This is a broad statement of the Hermetic axiom-As above, so below.
这是赫密斯公理的概括陈述 —— “以下,如上”.
来源:互联网摘选称谓系统中的称谓词如同公理系统中的初始元,在语言系统中充当元符号的角色;
来源:互联网摘选These three reasons let the spread of axiomatic method stagnate for a long time.
正是这三个原因造成了当时公理化方法传播的停滞.
来源:互联网摘选The study and application based on completeness join dependency and valid Axion system
完全连接依赖及其有效公理系统的研究与应用
来源:互联网摘选古希腊人留给我们关于因果关系的三大传统:原子论、公理化和四因论传统。
来源:互联网摘选Open your mouth; judge righteously, And minister justice to the poor and needy.
9你当开口按 公 义审判, 为困苦和穷乏人秉持公理.
来源:互联网摘选Does God pervert justice? Or does the Almighty pervert righteousness?
3神岂能屈枉公理? 全能者岂能屈枉公义?
来源:网络文摘精选The system of axiom in electromagnetic is established based on eight basic principles.
由八个基本原理出发,建立了电磁学公理化的理论体系.
来源:网络文摘精选The basic principles include 2 axioms and 3 derivation principles.
基本原理包括:2个公理和3个派生原理:环境依赖性、术和设备依赖性、确定性和风险.
来源:互联网摘选Justice may right the wrongs, but forgiveness heals the hurt. Seek forgiveness beyond justice.
公理评断是非, 但疗伤惟有宽恕. 公理之外,更要宽恕.
来源:互联网摘选傻朋克今年还鄙视了另一条音乐行业的公理,让其信奉者大为懊丧。这条公理是:推出这样盛大的一张专辑,你必须亲自出马搞现场演出。
来源:互联网摘选这些理论内容广泛,又具有鲜明的时代性,大多数带有强权即公理的特点,或者为帝国主义瓜分世界的种种现象进行解释,或者公然地为大国主宰世界、扩张疆土服务。
来源:互联网摘选简答网 · 双语新闻

简答网 · 双语娱乐资讯

简答网 · 中考英语

简答网 · 双语娱乐资讯

简答网 · 高考英语

简答网 · 高考英语