数理逻辑
基本信息
- 注音
- ㄕㄨˋ ㄌ一ˇ ㄌㄨㄛˊ ˙ㄐ一
- 繁体
- 數理邏輯
- 词性
- 名词
词语解释
词语解释
数理逻辑（數理邏輯）[ shù lǐ luó ji ]
⒈ 亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
相关组词
- 组词
- 数理逻辑
词语分解
古诗文 进入栏目 »
草书屏风
“屏风”是室内挡风或作为障蔽的器具，为美观设计，上面一般都绘有图画或写有文字，所以它在使用中还有书画的艺术价值。这首诗看…
将进酒
金尊莫倚青春健，龌龊浮生如走电。琴瑟盘倾从世珠，黄泥局泻流年箭。麻姑爪秃瞳子昏，东皇肉角生鱼鳞。灵鳌柱骨半枯朽，骊龙德悔…
绝句
这首短诗写的是诗人到江边游玩，享受了美好的踏青节日之后，正欲赋归，却遇上吐蕃军队入侵四川，成都戒严，一时间旌旗鼓角，弥漫…
菊
日日池边载酒行，黄昏犹自绕黄英。重阳过后频来此，甚觉多情胜薄情。
长城
当时无德御乾坤，广筑徒劳万古存。谩役生民防极塞，不知血刃起中原。珠玑旋见陪陵寝，社稷何曾保子孙。降虏至今犹自说，冤声夜夜…
口号
中夜忽自起，汲此百尺泉。林木含白露，星斗在青天。
国学古籍 进入栏目 »
史记
《史记》是由司马迁撰写的中国第一部纪传体通史。记载了上自上古传说中的黄帝时代，下至汉武帝元狩元年间共3000多年的历史（…
本草纲目
《本草纲目》，药学著作，五十二卷，明·李时珍撰，刊于1590年。全书共190多万字，载有药物1892种，收集医方1109…
周易
《周易》是一部中国古哲学书籍，是建立在阴阳二元论基础上对事物运行规律加以论证和描述的书籍，其对于天地万物进行性状归类，天…
孙子兵法
《孙子兵法》又称《孙武兵法》、《吴孙子兵法》、《孙子兵书》、《孙武兵书》等，英文名为《The Art of War》，是…
山海经
《山海经》是中国志怪古籍，大体是战国中后期到汉代初中期的楚国或巴蜀人所作。也是一部荒诞不经的奇书。该书作者不详，古人认为…
论语
《论语》是儒家学派的经典著作之一，由孔子的弟子及其再传弟子编撰而成。它以语录体和对话文体为主，记录了孔子及其弟子言行，集…