计算机术语“conjunctive normal form”的中英文意思、释义、翻译及用法-计算机英汉双解词典-富安网

网站首页计算机词典

字词	conjunctive normal form
释义	conjunctive normal form 合取范式 In the predicate calculus, if a conjunctive formula G has the form as follows: GB1∧B2∧…∧Bn = (n>1) where B1,B2,…,Bn are disjunctive forms of the basic formula Li, then the conjunctive formula G is called the conjunctive normal form. 在谓词演算中,如果一个合式公式G具有如下形式:GB1∧B2∧…∧Bn = (n>1), 其中B1,B2,…,Bn是基本式Li的析取式,则称该合式公式G为合取范式。
随便看	计算机internal interrupt是什么意思计算机internal label是什么意思计算机internally initiated trap是什么意思计算机internally stored program是什么意思计算机internal magnetic recording是什么意思计算机internal manipulation instruction是什么意思计算机internal memory是什么意思计算机internal memory unit是什么意思计算机internal model是什么意思计算机internal name是什么意思计算机internal procedure是什么意思计算机internal processing unit是什么意思计算机internal reader是什么意思计算机internal reference是什么意思计算机internal routine是什么意思计算机internal security audit是什么意思计算机internal sort是什么意思计算机internal storage是什么意思计算机internal storage code是什么意思计算机internal symbol是什么意思计算机internal timer是什么意思计算机internal traffic是什么意思计算机internal variable是什么意思计算机internal writer是什么意思计算机international algebraic language(IAL)是什么意思

计算机英汉双解词典包含34412条计算机术语英汉翻译词条，基本涵盖了全部常用计算机术语的翻译及用法，是计算机学习及翻译工作的有利工具。