數理邏輯

shù lǐ luó jí sổ lí la tập

Hán Việt: sổ lí la tập · Pinyin: shù lǐ luó jí

Tổng quan

logic toán học | logic ký hiệu

Cấu tạo: 數 (sổ) + 理 (lí) + 邏 (la) + 輯 (tập)

Pinyin
shù lǐ luó jí
Hán Việt
sổ lí la tập
Cấu tạo
數 + 理 + 邏 + 輯 · sổ + lí + la + tập nghĩa thành phần: sổ + lí + la + tập

Nghĩa

Việt

  • Cihui logic toán học | logic ký hiệu

Mainland

  • Tân Hoa Tự Điển 亦称符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。

Eng

  • CC-CEDICT mathematical logic|symbolic logic
  • Cihui mathematical logic; symbolic logic