计算机词汇
formal argument英 [ˈfɔːml ˈɑːɡjumənt]  美 [ˈfɔːrml ˈɑːrɡjumənt] [计] 形式变元 |
| formal class英 [ˈfɔːml klɑːs] 美 [ˈfɔːrml klæs] [计] 形式类 |
| formal conclusion英 [ˈfɔːml kənˈkluːʒn] 美 [ˈfɔːrml kənˈkluːʒn] [计] 形式结论 |
| formal control英 [ˈfɔːml kənˈtrəʊl] 美 [ˈfɔːrml kənˈtroʊl] [计] 形式控制 |
| formal data-base query英 [ˈfɔːml ˈdeɪtə beɪs ˈkwɪəri] 美 [ˈfɔːrml ˈdeɪtə beɪs ˈkwɪri] [计] 形式数据库查询 |
| formal declarer英 美 [计] 形式说明词 |
| formal deduction英 [ˈfɔːml dɪˈdʌkʃn] 美 [ˈfɔːrml dɪˈdʌkʃn] [计] 形式推导 |
| formal definition英 [ˈfɔːml ˌdefɪˈnɪʃn] 美 [ˈfɔːrml ˌdefɪˈnɪʃn] [计] 形式语义; 形式定义 |
| formal denotation英 [ˈfɔːml ˌdiːnəʊˈteɪʃn] 美 [ˈfɔːrml ˌdiːnoʊˈteɪʃn] [计] 形式标志, 形式表示 |
| formal description英 [ˈfɔːml dɪˈskrɪpʃn] 美 [ˈfɔːrml dɪˈskrɪpʃn] [计] 形式描述 |
| formal description language英 [ˈfɔːml dɪˈskrɪpʃn ˈlæŋɡwɪdʒ] 美 [ˈfɔːrml dɪˈskrɪpʃn ˈlæŋɡwɪdʒ] [计] 形式描述语言 |
| formal design description英 [ˈfɔːml dɪˈzaɪn dɪˈskrɪpʃn] 美 [ˈfɔːrml dɪˈzaɪn dɪˈskrɪpʃn] [计] 形式设计描述 |
| formal design specification英 [ˈfɔːml dɪˈzaɪn ˌspesɪfɪˈkeɪʃn] 美 [ˈfɔːrml dɪˈzaɪn ˌspesɪfɪˈkeɪʃn] [计] 形式设计说明 |
| formal detection英 [ˈfɔːml dɪˈtekʃn] 美 [ˈfɔːrml dɪˈtekʃn] [计] 形式检测 |
| formal development英 [ˈfɔːml dɪˈveləpmənt] 美 [ˈfɔːrml dɪˈveləpmənt] [计] 形式推导 |
| formal file英 [ˈfɔːml faɪl] 美 [ˈfɔːrml faɪl] [计] 形式文件 |
| formal file identifier英 [ˈfɔːml faɪl aɪˈdentɪfaɪə(r)] 美 [ˈfɔːrml faɪl aɪˈdentɪfaɪər] [计] 形式文件标识符 |
| formal functional programming system英 [ˈfɔːml ˈfʌŋkʃənl ˈprəʊɡræmɪŋ ˈsɪstəm] 美 [ˈfɔːrml ˈfʌŋkʃənl ˈproʊɡræmɪŋ ˈsɪstəm] [计] 形式函数程序设计系统 |
| formal grammar英 [ˈfɔːml ˈɡræmə(r)] 美 [ˈfɔːrml ˈɡræmər] [计] 形式文法 |
| formal implication英 [ˈfɔːml ˌɪmplɪˈkeɪʃn] 美 [ˈfɔːrml ˌɪmplɪˈkeɪʃn] [计] 形式蕴涵 |
| formal integration英 [ˈfɔːml ˌɪntɪˈɡreɪʃn] 美 [ˈfɔːrml ˌɪntɪˈɡreɪʃn] [计] 形式完整性 |
| formal language英 [ˈfɔːml ˈlæŋɡwɪdʒ] 美 [ˈfɔːrml ˈlæŋɡwɪdʒ] [计] 形式语言 |
| formal language definition英 [ˈfɔːml ˈlæŋɡwɪdʒ ˌdefɪˈnɪʃn] 美 [ˈfɔːrml ˈlæŋɡwɪdʒ ˌdefɪˈnɪʃn] [计] 形式语言定义 |
| formal language grammar英 [ˈfɔːml ˈlæŋɡwɪdʒ ˈɡræmə(r)] 美 [ˈfɔːrml ˈlæŋɡwɪdʒ ˈɡræmər] [计] 形式语言文法 |
| formal language processing英 [ˈfɔːml ˈlæŋɡwɪdʒ ˈprəʊsesɪŋ] 美 [ˈfɔːrml ˈlæŋɡwɪdʒ ˈprɑːsesɪŋ] [计] 形式语言加工 |
| formal language processor英 [ˈfɔːml ˈlæŋɡwɪdʒ ˈprəʊsesə(r)] 美 [ˈfɔːrml ˈlæŋɡwɪdʒ ˈprɑːsesər] [计] 形式语言加工程序 |
| formal linguistics英 [ˈfɔːml lɪŋˈɡwɪstɪks] 美 [ˈfɔːrml lɪŋˈɡwɪstɪks] [计] 形式语言学 |
| formal logic英 [ˈfɔːml ˈlɒdʒɪk] 美 [ˈfɔːrml ˈlɑːdʒɪk] [计] 形式逻辑 |
| formal lower-bound英 [ˈfɔːml ˈləʊə(r) baʊnd] 美 [ˈfɔːrml ˈloʊər baʊnd] [计] 形式下界 |
| formal mathematical definition英 [ˈfɔːml ˌmæθəˈmætɪkl ˌdefɪˈnɪʃn] 美 [ˈfɔːrml ˌmæθəˈmætɪkl ˌdefɪˈnɪʃn] [计] 形式数学定义 |