×

阶逻辑的英文

发音:   用"阶逻辑"造句
  • order logic
  • 阶:    steps; stairs
  • 逻辑:    logic
  • n阶逻辑:    n order logic
  • 二阶逻辑:    second order logic; second-order logic
  • 高阶逻辑:    high order logic; higher order logic; higher-order logic; highor-order logic
下载手机词典可随时随地查词查翻译
关注微信公众号：chachacidian，回复:阶逻辑，即可在微信中查询翻译

例句与用法

    更多例句：  下一页
  1. An algebraic proof of completeness theorem of first - order logic
    一阶逻辑完备性定理的代数证明
  2. Generating sat instances from first - order formulas
    由一阶逻辑公式得到命题逻辑可满足性问题实例
  3. An axiomatics for first - order logic
    经典一阶逻辑的希尔伯特型系统
  4. Proving several theorems in first order logic based on back - and - forth method
    向前向后法证明一阶逻辑的几个定理
  5. Second - order logic
    高阶逻辑

相关词汇

        阶:    steps; stairs
        逻辑:    logic
        n阶逻辑:    n order logic
        二阶逻辑:    second order logic; second-order logic
        高阶逻辑:    high order logic; higher order logic; higher-order logic; highor-order logic
        零阶逻辑:    zeroth-order logic
        一阶逻辑:    first order logic; first-order logic
        一阶逻辑表达式:    first-order logic expression
        一阶逻辑的不可判定性:    the undecidability of first-order logic
        一阶逻辑表达的公理规格说明:    specification in first-order logic-axioms
        一阶逻辑表达的术语规格说明:    specification in first-order logic-terminology
        逻辑:    logic 有学问而且合逻辑地辩论 argue with learning and logic; 逻辑上的错误 an error in logic; 数理逻辑 mathematical logic; 合乎逻辑 logical; 按照这种逻辑 according to that kind of reasoning; 这是什么逻辑 ? what sort of logic is that?; 逻辑包含 logical inclusion; 逻辑比较 logic comparison; logical comparison; 逻辑变换 logical conversion; 逻辑变量 logic variable; 逻辑 (型)变量 logical variable; 逻辑变项 [数学] logical variable; 逻辑表 logical table; 逻辑表达式 logical expression; 逻辑差 logical difference; 逻辑常数 logical constant; 逻辑程序 logical program; 逻辑错误 logical error; 逻辑代数 logic algebra; boolean algebra; algebra of logic; 逻辑单元 logical block; logic unit; 逻辑电路 logic circuit; logical circuit; 逻辑段 logical segment; 逻辑范畴 logical categories; 逻辑方法 logical method; 逻辑方阵 logical square; 逻辑分析 logic analysis; 逻辑分析法 analysis; 逻辑符号 logic symbol; logical symbol; 逻辑赋值语句 logical assignment statement; 逻辑关系 logical relation; 逻辑规格 logical specification; 逻辑规律 logical laws; 逻辑规则 logic rules; 逻辑函数 logical function; 逻辑恒量 logical constant; 逻辑机 logical machine; 逻辑级 logic level; 逻辑计算机 logical computer; 逻辑记录 [自动化] logical record; 逻辑解释 logical interpretation; 逻辑经验论 [哲学] logical empiricism; 逻辑经验论者 logical empiricist; 逻辑矩阵 logic matrix; 逻辑卡片 logic card; 逻辑连接 logical link; 逻辑连接词 logical connective; 逻辑连接符 [数学] logical connectives; logical connector; 逻辑连结 logical connection; 逻辑矛盾 logical contradiction; 逻辑曲线 [统计学] logistic curve; 逻辑设备表 logical unit table; 逻辑设计 [自动化] logic design; logical design; 逻辑实证论 [哲学] logical positivism; 逻辑实证论者 logical positivist; 逻辑实证主义 logical positivism; 逻辑史 history of logic; 逻辑数学 logical mathematics; 逻辑思维 logical thinking; 逻辑特征 logical implication; disjunction; 逻辑条件语句 logical if statement; 逻辑图 [自动化] logic diagram; logical chart; 逻辑推演 logical deduction by reasoning; 逻辑网络 logical net (work); 逻辑文件 logical file; 逻辑项 logical term; 逻辑型 logical type; 逻辑形l grammar; 逻辑原子论 [哲学] logical atomism; 逻辑运算 logical calculus; logical operation; 逻辑障碍[心] paralogia; 逻辑哲学 philosphy of logic; 逻辑正确 logically true; 逻辑证明 logical proof; 逻辑值 logic value; logical value; 逻辑制表 logic tab; 逻辑重音 logical accent; 逻辑主义 logicism; logicistic; 逻辑主语 [语言学] logical subject
        逻辑，逻辑线路:    logic
        逻辑学,逻辑性:    logic
        逻辑，逻辑学逻辑线路:    logic
        hoare逻辑:    hoare logic
        lsi逻辑:    lsi logic
        “非”逻辑:    inversion
        “与”逻辑:    and logic
        耳逻辑:    boolean logic
        反逻辑:    antilogical
        负逻辑:    logic, negative; negative logic; negative-true logic
        光逻辑:    light logic
        合逻辑:    lcdvi5kaleti 9lbdvikaleti
        宏逻辑:    macrologic

相邻词汇

  1. "阶理想"英文
  2. "阶链"英文
  3. "阶零点"英文
  4. "阶柳庭花"英文
  5. "阶路响应时间试验"英文
  6. "阶码范围"英文
  7. "阶码上溢"英文
  8. "阶码太多"英文
  9. "阶码下溢"英文
  10. "阶码溢出"英文
桌面版繁體版English

相关阅读

Copyright © 2025 WordTech Co.