mathematical logic; symbolic logic
Tone colorsmāmámǎmàma
Meanings
1 sense · 3 examplesnoun
mathematical logic; symbolic logic; the branch of mathematics that studies formal logic using mathematical methods
Also called symbolic logic (符号逻辑). It is foundational to computer science, artificial intelligence, and formal philosophy.
Shù数
lǐ理
luó逻
jí辑
shì是
jì计
suàn算
jī机
kē科
xué学
de的
zhòng重
yào要
lǐ理
lùn论
jī基
chǔ础
。
Mathematical logic is an important theoretical foundation of computer science.
Tā他
zài在
dà大
xué学
lǐ里
zhuān专
mén门
yán研
jiū究
shù数
lǐ理
luó逻
jí辑
hé和
jí集
hé合
lùn论
。
He specialized in mathematical logic and set theory at university.
Show 1 more exampleShow fewer examples
Fú符
hào号
luó逻
jí辑
yě也
jiào叫
shù数
lǐ理
luó逻
jí辑
。
Symbolic logic is also called mathematical logic.