查询词典 inconsistent formal system

formal language theory：形式语言理论

[1]有关正则表达式和巴克斯-诺尔范式的介绍以及他们是如何精确定义程序的,参见形式语言理论(formal language theory)的相关知识. [5]对于编译器(或解释器)来说,实现多态并没有看起来那样直接,它需要使用一个叫做动态绑定(dynamic binding)的技术才能实现多态

multidimensional formal language：多维形式语言

多维表式 multi-dimensional expression | 多维形式语言 multidimensional formal language | 多维语言 multidimensional language

formal logic：形式逻辑

(10)若依"形式逻辑"(formal logic),我们只求"三相因"能必然地、有效地推演出"宗"(主张或结论)便已足够,而不必问"三相因"究竟可分多少类别. 就以"假言论式"(hypothetical syllogism)为例. 这便是有效的了(valid). 我们只知肯定前项,

formal logic：形式逻辑 形式論理学

■ form factor of a basin 流域形状参数 流域形状係数 | ■ formal logic 形式逻辑 形式論理学 | ■ format 格式 形式, 書式, 初期化

辩证逻辑 formal logic形式逻辑：dialectical logic

logic n.逻辑,逻辑学,逻辑性 | dialectical logic辩证逻辑 formal logic形式逻辑 | mathematical logic数理逻辑 chop logic 诡辩,公孙龙,名家

Notre Dame journal of formal logic：圣母大学形式逻辑杂志 美 哲学

70 Metaphilosophy? 元哲学 英 哲学 | 71 Notre Dame journal of formal logic? 圣母大学形式逻辑杂志 美 哲学 | 72 Journal of philosophical research 哲学研究杂志 美 哲学

formal model：形式模型

他认为造成这一现象的主要原因是传播学研究范式缺乏"累积性成长",实体理论(substantive theory)、形式模型(formal model)与经验数据(empirical data)之间没有进行必要的互动.

Formal Security Policy Model：形式化安全策略模型

社会养老保险筹资模式:funds-raise model of endowment security | 形式化安全策略模型:Formal Security Policy Model | 安全体系结构模型:Security Architecture model

formal power series：形式幂级数

gray brown podzolic soil 灰棕壤化土 | formal power series 形式幂级数 | advance money on security 垫付保证金

formal power series ring：形式幕级数环

Fitting's lemma 费廷引理 | Formal power-series ring 形式幕级数环 | Fraction 分式

Canavalia maritima：海刀豆

裸花紫珠Callicarpa nudiflora + | 海刀豆Canavalia maritima + + | 山柑藤Cansjera rheedii +

Fantasyland：夢幻樂園

并出口至印度尼西亚的印度食品-FRITOLAY.生产FILMFRAME,骑士满(CHESSMEN)及拍波乐(PUBLE).1998年,生产时尚按钮(FANCYBUTTONS)及各种贴纸,建造全包装机,将流新集团更名为流新太科.1999年,生产POP-UP及梦幻乐园(FANTASYLAND)系列产品,开始生产