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

术语	tautology_rule
释义	tautology rule 同语反覆规则，重言式规则在述词演算中，由於同语反覆对於任何解释都为永真，故从子句集s中删去那些同语反覆的所有子句，余下的集合s与原来的s集合两者的不可满足性仍然等价，这就是同语反覆规则。
随便看	vertical_format_unit vertical_justification vertical_magnetic_recording vertical_magnetic_recording_head vertical_microcode vertical_microprogramming vertical_parity_check vertical_pointer vertical_positions vertical_processor vertical_recording vertical_redundancy_check vertical_refresh_rate vertical_scrolling vertical_spacing vertical_tabulation vertical_tabulation_character vertical_tabulator_key vertical_wraparound very_high_data_rate_dsl very_high_frequency very_large_data_bases very_large_scale_integration very_low_frequency very_small_aperture_terminal

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