量化邏輯

liàng huà luó ji lượng hóa la tập

Hán Việt: lượng hóa la tập · Pinyin: liàng huà luó ji

Tổng quan

logic định lượng

Cấu tạo: 量 (lượng) + 化 (hóa) + 邏 (la) + 輯 (tập)

Pinyin
liàng huà luó ji
Hán Việt
lượng hóa la tập
Cấu tạo
量 + 化 + 邏 + 輯 · lượng + hóa + la + tập nghĩa thành phần: lượng + hóa + la + tập

Nghĩa

Việt

  • Cihui logic định lượng

Eng

  • CC-CEDICT quantificational logic (i.e. first-order logic)
  • Cihui quantified logic