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

术语	predicate_calculus
释义	predicate calculus 述词演算数理逻辑的基础部分。在述词演算中，不仅把命题看作整体，而且还要分析命题的内部结构，把命题的内部结构分析为具有主语和谓语的逻辑形式，由命题函数、连接词和量词构成命题，研究其中的逻辑推理关系。
随便看	network_control_language_standards network_control_mode network_control_phase network_control_program network_control_program_generation network_control_program_major_node network_control_program_node network_control_program_station network_control_program/virtual_storage network_control_signaling_unit network_control_unit network_data_base network_definition network_design_criteria network_drills networked networked_system_management network_failure network_files_system network_file_system network_host network_information_center network_information_service networking networking_hardware

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