在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
mathematical logic
查词链接：
https://www.dute.org/dict/mathematical_logic复制链接 数理逻辑：一种研究数学和逻辑之间关系的学科，主要关注形式系统、证明理论、模型论和递归论等领域。
查看英英释义
n.
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
网络释义
数理逻辑
数理逻辑(Mathematical Logic)是一门边缘性学科,它是用形式化方法研究推理中前提与结论之间的形式关系的科学,也就是用专门的符号和数学方法来处理、研究演绎方...
数字逻辑
... First-order logic一阶谓词演算或一阶逻辑 Mathematical Logic数字逻辑 combinational logic组合逻辑 ...
数学逻辑
简介数学逻辑（Mathematical logic）是与数学基础，理论..
常用短语
更多常用短语近义词
[数]数理逻辑
正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}