| 释义 |
generalized Hoare logic
- 无显著特点的wú xiǎn zhe tè diǎn de
generalized
- 广义guǎng yì
broad sense, generalized
- 逻辑luó jí
logic
- 霍尔huò ěr
Hoare; Hall
- 论理lùn lǐ
logic, normally
- 事理shì lǐ
logic, reason
- 集成注入逻辑jí chéng zhù rù luó jí
integrated injection logic
- 形式逻辑xíng shì luó jí
formal logic
- 阵列逻辑zhèn liè luó jí
array logic
- 泛化fàn huà
generalization; generalize
- 笼统讲lóng tǒng jiǎng
generalize
- 概括gài kuò
summarize; summarization; generalize; epitomize
- 推广tuī guǎng
extend, generalize, popularize, spread
- 一般化yī bān huà
generalization, generalize, catholicize
- 逻辑图luó jí tú
logic diagram
- 逻辑学luó jí xué
logic; logistics
- 阈逻辑yù luó jí
threshold logic
- 逻辑电路luó jí diàn lù
logic circuit
- 逻辑元件luó jí yuán jiàn
logic element
- 数理逻辑shù lǐ luó jí
symbolic logic
- 伦lún
human relations; logic; match; order; peer
- 逻辑分区luó jí fèn qū
partitions of logic
- 逻辑积luó jí jī
logic product; logical product
- 逻辑和luó jí hé
logical sum; logic sum; union
- 逻辑控制luó jí kòng zhì
logical control; logic control
|