理学 电子元器件 释 computer language 计算机语言 与计算机通信的语言系统，是人类与计算机之间沟通和传递信息的一种媒介和工具。又称计算机编程语言。
computer language 计算机语言
系统软件 语言与编译 释文 computer language 计算机语言
- predicate logic of second order
- predicate logic with equality
- predicate modification rule
- predicate of first level
- predicate of first order
- predicate of n arguments
- predicate of n variables
- predicate of second level
- predicate of second order
- predicate symbol
- predicate transformer
- predicate transformer semantics
- predicate/transition system
- predicate variable
- predicate word
- predicative
- predicative analysis
- predicative definition
- predicative formal theory
- predicative ordinal number
- predicative property
- predicative proposition
- predicative set theory
- predicative variable
- predicativity