网站首页
词典首页
请输入您要查询的计算机术语:
术语
unary_predicate_calculus
释义
unary predicate calculus
单述词演算
若在二阶述词演算中,只允许使用普通常数和普通变数,命题常数和命题变数,以及单变元的述词函数和述词函数变数,但不许使用其它的函数或函数变数,则称为单述词演算。
随便看
unary_predicate_calculus
unattended_mode
unattended_operation
unattended_time
unattended_trail_printer
unavailable_time
unbalanced
unbalanced_data_link
unbalanced_error
unbalanced_merge_sort
unbalanced_network
unbind
unbounded_control_mode
unbound_task_set
unbound_task_set_load_module
unbundling
uncertain_region
uncommitted_storage_list
uncompression
unconditional
unconditional_branch
unconditional_branch_instruction
unconditional_capture
unconditional_jump
unconditional_jump_instruction
Linux计算机英汉词典包含19493条计算机术语英汉翻译词条,基本涵盖了全部常用计算机术语的翻译及用法,是计算机学习及翻译工作的有利工具。
Copyright © 2004-2023 Linuxrtm.com All Rights Reserved
京ICP备2021023879号-37
更新时间:2025/11/1 6:10:39