查字网是免费的在线辞海新华字典查询网站，内容来源于网络，如有侵权请及时通知我们删除。
查字网为您提供包括汉字源流、汉字字源、字形演变等查询，收录词语超过40万条，提供汉语词组解释、反义词、近义词、汉字组词造句等内容。
欢迎您使用查字网汉字字源字典查询汉字流源、字源字义及字源演变，我们将继续丰富和完善字源网字典,以便为您提供更好地帮助和服务。
查字网 版权所有 苏ICP备11037243号
词语数理逻辑拆分为汉字：
数字的拼音、笔画、偏旁部首、笔顺、繁体字，数字字源来历，数字演变
1. 数 [shù]2. 数 [shǔ]3. 数 [shuò]数 [shù]表示、划分或计算出来的量：～目。～量。～词。～论（数学的一支，主要研究正整数的性质以及和它有关的规律）。～控。几，几个：～人。～日。技艺，学术：“今夫弈之为～，小～……
理字的拼音、笔画、偏旁部首、笔顺、繁体字，理字字源来历，理字演变
物质本身的纹路、层次，客观事物本身的次序：心～。肌～。条～。事～。事物的规律，是非得失的标准，根据：～由。～性。～智。～论。～喻。～解。～想。道～。～直气壮。自然科学，有时特指“物理学”：～科，数～化。～疗。按事物本身的规律或依据一定的标准……
逻字的拼音、笔画、偏旁部首、笔顺、繁体字，逻字字源来历，逻字演变
巡察：巡～。～吏（巡逻官）。～骑。～卒。遮拦：“蛛蝥结网工遮～”。……
辑字的拼音、笔画、偏旁部首、笔顺、繁体字，辑字字源来历，辑字演变
聚集，特指聚集材料编书：～录。～要。～逸。编～。纂～。聚集很多材料而成的书刊：丛书第一～。和，和睦：～睦。敛，拖着不便脱落。古同“缉”，连缀。古代称协调驾车的众马。……
查询词语：数理逻辑
汉语拼音：shù lǐ luó ji
亦称符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
数理逻辑可视为数学的逻辑分析，但通常与符号逻辑@@@@@Symbolic Logic@@@@@之涵义相同，所以数理逻辑指的是人用符号来进行逻辑演算和分析。目前数理逻辑分为广义及狭义两种：狭义的数理逻辑专指逻辑的演算，包含命题演算及述词演算@@@@@Propositional and Predicate Calculi@@@@@；广义的则包含数学的集合论、证明论及其他相关的系统。由于数理逻辑比照代数般运用符号，因此相当形式化，其有效性往往与应用的内容无关。
数理逻辑是离散数学的重要组成部分，是学好离散数学的基础。
用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性，并给以证明。
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
实际上，他从事哲学的方式跟对待航空科学和数理逻辑没什么两样。
数理逻辑和计算机科学有着十分密切的关系，数理逻辑是计算理论的基础。
它的主要内容包括数理逻辑、集合论、代数结构和图论。
如果不是受惠于数理逻辑的最新进展，这个问题根本就无法予以严肃的对待。
我的数理逻辑能力也比较强，在班级里能保持在班级前列。
从主导思想上说，传统逻辑和数理逻辑殊异。
数理逻辑主要是公式的演算和证明。
原子命题是数理逻辑研究的基本单位。
与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。
围棋必胜法的数理逻辑观照？
依据数理逻辑法则进行的操作或运算。
刘奋荣：从数理逻辑的分析方法看“白马非马”，《山西大学学报》1997年第3期。
方法非经典数理逻辑的语义理论。
柏格森的敌人罗素肯敷衍中国人，请他喝过一次茶，他从此研究数理逻辑。
在数理逻辑中研究的主要对象是各种演算。
悖论；数学基础；数理逻辑；
数理逻辑中存在量词引入的必要性
数理逻辑之研究对象、学科归属、定义及研究领域
期权定价原理的数理逻辑探析
论现代政治经济学数理逻辑表达与创新的重要价值
数理逻辑不能取代形式逻辑
数理逻辑翻译中的几个因素
数理逻辑思维方法及在艺术设计中的运用
数理逻辑中的归纳定义和归纳证明
数理逻辑中的联结词蕴涵式
关于数理逻辑中的可靠性、完备性及协调性的讨论
他具有英国bristoluniversity颁发的数理逻辑和计算理论的理学硕士学位。
数理逻辑在排队论中的应用
数理逻辑初级教程
数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。