计算机术语“arithmetization of formal system”的中英文意思、释义、翻译及用法-计算机英汉双解词典

术语	arithmetization of formal system
释义	arithmetization of formal system 形式系统算术化 A method of number representation of a formal system. The system components, including theorems, formulae, etc., are mapped into the set of natural numbers, and two different components are mapped into two different numbers. The theorems and rules of inference of the original formal system can be represented with corresponding arithmetic functions. 形式系统的一种数字表示方法。把系统中的各成分,包括公理、公式等映入自然数集,而且两个不同的成分也映为两个不同的自然数。形式系统中原有的公理、推导规则等都能用相应的算术函数表示出来。
随便看	fingerprint fingerprint analysis finite finiteprecision numbers finitestate machine (FSM) FINUFO firing rate firmware firmware circuitry firmware compatibility firmware ROM firmwaredriven first copyout time first element of chain first fit first generation first line form advance first loop feature first normal form first order subroutine first page indicator firstended firstout (FEFO) firstgeneration computer firstgeneration microcomputers firstin firstout (FIFO)

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