Meaning of 数理逻辑
数理逻辑 means mathematical logic; symbolic logic; the branch of mathematics that studies formal logic using mathematical methods. Pronounced shù lǐ luó jí.
- mathematical logic; symbolic logic; the branch of mathematics that studies formal logic using mathematical methods
Definitions & Examples
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.
Fú符
hào号
luó逻
jí辑
yě也
jiào叫
shù数
lǐ理
luó逻
jí辑
。
Symbolic logic is also called mathematical logic.
Relations
Synonyms