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

术语	unary_predicate_calculus
释义	unary predicate calculus 单述词演算若在二阶述词演算中，只允许使用普通常数和普通变数，命题常数和命题变数，以及单变元的述词函数和述词函数变数，但不许使用其它的函数或函数变数，则称为单述词演算。
随便看	basic_control_system basic_cycle basic_device_unit basic_direct_access_method basic_disk_operating_system basic_encoding_rule basic_exchange_format basic_feasible_solution basic_field_attribute basic_function basic_graphic_extension basic_indexed_sequential_access_method basic_information_unit basic_input/output_system basic_instruction basic_language basic_line_space basic_linkage basic_link_unit basic_mapping_support basic_mode basic_mode_link_control basic_operating_system basic_partitioned_access_method basic_rate_interface

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