first-order dynamic logic是什么意思_first-order dynamic logic的中文意思

first-order dynamic logic的中文意思

沪江词库精选first-order dynamic logic是什么意思、英语单词推荐

【计】一阶动态逻辑

相似短语

相似单词

first order 一级
first( )order 一阶
logic n.[U] 1.逻辑（学）；论理学 2.（某一学科的）原理，学理 3.推理（法） 4.逻辑性，条理性 5.道理；理由 6.必然的联系（或结果） 7.逻辑学著作 8.【计】逻辑，逻辑操
logic -logy的形容词
dynamic adj. 1. 有活力的，强有力的 2. 不断变化的 3. 动力的，动态的 4. 充满活力的；精力充沛的 5. 发展变化的 6. 效率高的；精悍的；有生气的；能动的 7. 动力学的；
first a. 1.第一的；最初的；最早的；最先的；首要的 2.初次的 ad. 1.第一；最初；最先 2.先；首先 3.第一次；首次 4.（用於列举事项）第一，首先 5.宁愿；宁可 6.at
first 【构词成分】 (构成副词)表示"...为先地","...朝前地"(如:head-first, jump into the water feet-first脚先入水地跳入水中)
order n. 1.为了做某事 2.[C,U]顺序，次序 3.[singular]（某一时期政治、社会或经济的）模式，制度 n.[C] 1.订货（单）；订购；（点的）饭菜 2.订的货物；（顾客）点
first in first out 【计】先进先出
dynamic(al) a.机能上的

学习推荐