| 字词 | 数理逻辑 |
| 释义 | 数理逻辑 shù lǐ luó ji繁體：數理邏輯 01. 亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。 相关词 01.形式逻辑02.逻辑学03.逻辑04.论理05.推理06.程式07.数08.演绎推理 09.谓词10.逻辑思维11.抽象思维12.解13.代数式14.代数15.归纳法16.实数 17.整式18.三段论19.有理数20.数学21.算术22.运算23.方程24.归纳 25.数论26.逻辑性27.演绎28.自然数29.算式30.根31.向量32.数列 33.开方34.未知数35.推导36.分式37.悖论38.式子39.宾词40.合数 41.解析几何42.加法43.周延44.除法45.复数46.答数47.根式48.直接推理 49.单数50.演算51.论题52.得数53.计算54.排中律55.主项56.蕴涵 57.微分58.和59.算法60.乘法61.方根62.类型63.矛盾律64.求解 65.逆运算66.定理67.等式68.命题69.同一律70.项71.加减乘除72.间接推理 73.参数74.二进制75.学理76.商数77.大前提78.牛顿79.判断80.理数 81.几何级数82.推算83.商84.行列式85.四则86.素数87.系数88.除 89.矛盾90.十进制91.变数92.纯小数93.双数94.成数95.加96.必要条件 97.约98.算题99.数表100.界定101.速算102.平方根103.几何104.推论 105.解法106.类比107.数理统计108.乘方109.一110.对角线111.数字化112.序数 113.倒数114.方阵115.约分116.带分数117.得出118.差119.乘120.整数 121.指数122.圆括号123.分母124.控制论125.小数126.恒等式127.进位128.约数 129.括号130.三角学131.排序132.正号133.理性134.值135.经院哲学136.通分 137.八进制138.若干139.导出140.论证141.方142.公比143.积144.前提 145.质数146.名数147.幂148.几149.维150.复名数151.奇数152.评析 153.正数154.变量155.函数156.等号157.否定词158.理论家159.和数160.无理数 161.即物穷理162.四舍五入163.基数164.几何图形165.倍数166.相除167.自乘168.计算器 169.偶数170.理路171.思辨172.分数173.公设174.理论175.积分176.底数 177.已知数178.减法179.作数180.主词181.数量级182.式183.类推184.系词 185.主根186.编码187.计算尺188.公式189.坐标190.加数191.相乘192.乘数 193.分数线194.点195.绝对值 联想词 01.数论02.逻辑学03.形式逻辑04.符号逻辑05.代数学06.几何学07.认知心理学08.语言哲学 09.量子力学10.抽象思维11.群论12.自然科学13.逻辑思维14.语言学15.知识论16.模态逻辑 17.信息论18.布尔代数19.统计力学20.逻辑推理21.实验心理学22.微积分23.数理经济学24.计算机科学 25.归纳推理26.解析几何27.演绎推理28.心理语言学29.控制论30.代数31.算术32.自动推理 33.数理统计34.直觉主义35.认知神经科学36.统计推理37.人文科学38.形象思维39.修辞学40.计算科学 41.物理学42.归纳法43.机器人学44.图灵机45.因果推理46.语义学47.普通语言学48.可计算性 49.宇宙学50.计算机体系结构51.社会科学52.现象学53.知识表示54.符号学55.认知语言学56.认识论 57.模式识别58.概率推理59.直觉思维60.天体力学61.神学62.形式推理63.发展心理学64.哲学 65.社会学66.逻辑表达67.批判性思维68.教育哲学69.认知发展70.计算机语言71.形而上学72.文字学 73.行为主义74.平面几何75.计量经济学76.比较语言学77.精神病理学78.计算物理学 |
| 随便看 |
|
时代网汉语字词典收录了217496条中文词汇解释词条，基本涵盖了全部常用汉语字词的中英文翻译及用法，是语文学习的有利工具。