词语局部实现的详细解释,局部实现的拼音及基本释义

局部实现

【词语拼音】jú bù shí xiàn

【词语繁体】局部實現

【词语结构】ABCD式词语

【词语字数】四字词语

【网络解释】
局部实现(locally realize)公式集的一种相对协调性.设1,是丫中的理论,}=}}.zl,xz,二’,x‑)是犷中的公式集谬一抓x} }x.z}... }xn)是丫中的一个公式.如果{列与T协调,并且对每一a (.z‑ xz,...,xn)E}'(二:,二:, ",x‑),都有T }+/.z‑x2,...}x‑)}抓x}}xZ}...}xn}->Q(,x1}x.Z,...,,z‑)).则称T局部实现乏.就是说,在T的一个模型ou中,每个满足笋的n元组Q}}az...,cz‑EA都实现艺.如果T不局部实现万,则称T局部省略艺.也就说,对于每个与T协调的公式抓x...