时间逻辑的英文

• temporal logic

• "时间"英文翻译    time; hour
• "逻辑"英文翻译    logic
• "线性时间逻辑" 英文翻译 :    ltl
• "时间逻辑 [时序逻辑" 英文翻译 :    temporal logic
• "命题线性时间逻辑" 英文翻译 :    pltl
• "以时间逻辑进行连续表达" 英文翻译 :    iv. continuous speech in the logic of time
• "中间逻辑" 英文翻译 :    intermediate logic
• "分支时间时态逻辑" 英文翻译 :    branching time temporal logic
• "逻辑" 英文翻译 :    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
• "时间" 英文翻译 :    time; hour; 北京时间十九点整19 hours beijing time; 上课时间school hours; 时间与空间 time and space; 妥善地支配时间 apportion one's time; 消磨时间 cheat the ime; kill the time; 将时间延长至７月３１日extend the time tojuly 31; 拖延时间spin out time; 时间会证明谁是对的。time will show who is right. 时间到了。time's up. 时间就是金钱。time is money. 完成这任务需要多少时间？how long will it take to finish this task?现在的时间是十四点五分。the time now is five minutes past fourteen.◇时间表 time schedule; time card; timetable; schedule,时间测量chronometry;time measurement; timing; 时间差距 lea time; 时间词 word denoting time; 时间方位 time aziniuth; 时间工作［服务］time service; 时间关联 association in time; time correlation; 时间计量 time measurement; 时间校准time calibration; 时间利用率time availability; 时间流逝time lapse; 时间曲线[航]time front; hour-out line; time curve; 时间损失loss of time; 时间缩短time contraction; 时间套汇 time arbitrage; 时间特性time response; 时间误差 time error; 时间效率 time efficiency; 时间效用 time utility; 时间性 timeliness; temporality; on time; transitory; 时间压缩 time compression; time-lapse; 时间意识 time consciousness; 时间知觉[心]time perception; 时间轴time shaft; time axis; 时间转换 time reversa; 时间最佳 time optimal
• "逻辑，逻辑线路" 英文翻译 :    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
• "或逻辑" 英文翻译 :    or else logic; or logic
• "阶逻辑" 英文翻译 :    order logic

• 时间逻辑的法语：Logique temporelle
• 时间逻辑的日语：時相論理
• 时间逻辑的韩语：시간 논리
• 时间逻辑的俄语：Темпоральная логика