首页
更多
汉语大全
汉语词典
首页
字典
词典
成语
千字文
三字经
百家姓
文言文字典
周公解梦
范文网
励志
弟子规
增广贤文
诗词
字典
词典
成语
词典
名词
数理逻辑的意思
shù
lǐ
luó
ji
数理逻辑
成语词典网m.377r.com
拼音
shù lǐ luó ji
注音
ㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧ
成语词典网m.377r.com
网络百科
数理逻辑 (用数学方法研究逻辑或形式逻辑的学科)
形式逻辑形式上符号化、数学化的逻辑,本质上仍属于知性逻辑的范畴。
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。
成语词典网m.377r.com
近音词、同音词
shù lǐ luó ji
数理逻辑
词语词性
名词
动词
形容词
副词
拟声词
助词
连词
介词
代词
疑问词
数词
量词
数量词
成语
词语组合
AABB式
ABAB式
A里AB式
AABC式
ABAC式
ABCA式
ABBC式
ABCB式
ABCC式
ABB式
AAB式
AA式
词语组词
生肖
四季
数字
动物
植物
颜色
方位
味道
自然
身体
武器
词语首拼
A
B
C
D
E
F
G
H
J
K
L
M
N
O
P
Q
R
S
T
W
X
Y
Z
组词
近义词
反义词
别人正在查
kǔ màn
楛僈
fēng guāng
风光
bù zhèng
不正
huáng chǔ chǔ
黄楚楚
zhān hū hū
粘乎乎
chā zǐ
杈子
diāo wěi
凋萎
rǒng cháng
冗长
diān jīn mò liǎng
掂斤抹两
cī bìng
疵病
汉语大全
©2021 ·
豫ICP备16001114号