网站首页
词典首页
请输入您要查询的计算机术语:
术语
unary_predicate_calculus
释义
unary predicate calculus
单述词演算
若在二阶述词演算中,只允许使用普通常数和普通变数,命题常数和命题变数,以及单变元的述词函数和述词函数变数,但不许使用其它的函数或函数变数,则称为单述词演算。
随便看
hierarchical_database_management_system
hierarchical_data_format
hierarchical_design_method
hierarchical_diagram
hierarchical_direct_access_method
hierarchical_direct_organization
hierarchical_distributed_processing_system
hierarchical_file_system
hierarchical_image_understanding_model
hierarchically_synchronized_network
hierarchical_model
hierarchical_network
hierarchical_path
hierarchical_planning
hierarchical_pointer
hierarchical_routing
hierarchical_sequence
hierarchical_sequential_access_method
hierarchical_sequential_organization
hierarchical_structure
hierarchic_direct
hierarchy
hierarchy_of_operations
hi-fi
hi_fly
Linux计算机英汉词典包含19493条计算机术语英汉翻译词条,基本涵盖了全部常用计算机术语的翻译及用法,是计算机学习及翻译工作的有利工具。
Copyright © 2004-2023 Linuxrtm.com All Rights Reserved
京ICP备2021023879号-37
更新时间:2025/12/18 13:29:48