网站首页
词典首页
请输入您要查询的计算机术语:
术语
unary_predicate_calculus
释义
unary predicate calculus
单述词演算
若在二阶述词演算中,只允许使用普通常数和普通变数,命题常数和命题变数,以及单变元的述词函数和述词函数变数,但不许使用其它的函数或函数变数,则称为单述词演算。
随便看
nonshared_control_unit
nonsimultaneous_transmission
non-sna_interconnection
non-sna_station
non-sna_terminal
nonspecific_volume_request
nonstandard_labels
nonstop_clusters
nonstop_operation_protection
non-storage_device
nonstore_through_cache
nonswitched_connection
nonswitched_line
nonswitched_point-to-point_line
nonsynchronous
nonsystematic_code
nontemporary_data_set
nonterminal_node
non-threshold_logic_circuit
nontransparent_mode
nonuniformity
non_uniform_memory_access
non-unique_alternate_key
nonvolatile
nonvolatile_memory
Linux计算机英汉词典包含19493条计算机术语英汉翻译词条,基本涵盖了全部常用计算机术语的翻译及用法,是计算机学习及翻译工作的有利工具。
Copyright © 2004-2023 Linuxrtm.com All Rights Reserved
京ICP备2021023879号-37
更新时间:2025/9/15 19:25:31