数理逻辑

词语解释
数理逻辑(數理邏輯)[ shù lǐ luó ji ]
⒈ 亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支,又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义,对一般思维中某些问题的解决也有成效。
分字解释
※ "数理逻辑"的意思解释、数理逻辑是什么意思由范文之家汉语词典查词提供。
造句
1、逻辑研究应提倡兼容,数理逻辑、自然语言逻辑、归纳逻辑、辩证逻辑、法律逻辑等等可以共同存在、共同发展。
2、作为模态逻辑的继承,与数理逻辑的又一外延,时态逻辑断言推理则有效地解决这方面出现的难题。
3、数理逻辑学家宣称,"完美十字"的排列不仅象征着日历中百年一遇的巧合,也是"再生的强大时刻"。
4、同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式.
5、柏格森的敌人罗素肯敷衍中国人,请他喝过一次茶,他从此研究数理逻辑。
6、但是,由于突变理论有着高深的数理逻辑结构和推演规则,其应用却未在方案优选中得到应有的推广。
7、数理逻辑是《离散数学》的难点之一。
8、数理逻辑的延伸符号逻辑到其他领域,特别是研究模型理论,证据理论,集理论,并递归理论。
9、数理逻辑学家宣称,“完美十字”的排列不仅象征着日历中百年一遇的巧合,也是“再生的强大时刻”。
10、我不明白这复杂的数理逻辑运算。
11、数理逻辑和计算机科学有着十分密切的关系,数理逻辑是计算理论的基础。
12、基于实质蕴涵的数理逻辑并非传统逻辑的现代发展,也不是什么现代的形式逻辑。
13、数理逻辑学家宣称,"完美十字"的排列不仅象征着日历中百年一遇的巧合,也是"再生的强大时刻"。
14、采用问卷调查、数理统计、访谈和逻辑分析等方法,对安徽省高校艺术设计专业师资现状进行研究。
15、用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性,并给以证明。
16、特别值得一提的是,我发现数理逻辑课或是电脑编程课能够很好的训练人的逻辑思维能力,从而做到精确思考。
17、具有“数理逻辑智能”的人,在数学和自然科学方面表现出有杰出的才能。
18、经典的金融学是构建在严谨的数理逻辑推理前提之上。
19、在数理逻辑中研究的主要对象是各种演算。
20、如体育舞蹈室、体操室、围棋室、跆拳道馆、武术馆、室内游泳馆、多媒体教学室、数理逻辑室等。
相关词语
- shǔ yī shù数一数
- bàn shù半数
- dài shǔ shù代数数
- chǐ shǔ齿数
- tiáo shù条数
- fù shù负数
- zé shù责数
- cái shù才数
- wú shù无数
- chéng shù乘数
- qī shù期数
- shù wèi数位
- chēng shù称数
- zhēn shù真数
- xì shù系数
- bèi shù辈数
- chāo shù抄数
- bèi shù备数
- shù zhí数值
- shù luò数摞
- lǐ cái理财
- lǐ lùn理论
- shuō lǐ説理
- dì lǐ地理
- dìng lǐ定理
- xiū lǐ修理
- píng lǐ评理
- hù lǐ护理
- bō lǐ拨理
- lún lǐ伦理
- lǐ kuī理亏
- bìng lǐ病理
- biàn lǐ辨理
- fǎ lǐ法理
- lǐ xué理学
- lǐ shì理事
- lǐ liáo理疗
- gōng lǐ公理
- zhuī lǐ追理
- xīn lǐ心理
- shuí luó谁逻
- luó lì逻吏
- luó jí cuò wù逻辑错误
- wǎn luó晩逻
- pì luó辟逻
- jǐng luó警逻
- chān luó觇逻
- xún luó寻逻
- luó wèi逻衞
- zhēn luó侦逻
- luó rén逻人
- luó bǔ逻捕
- luó tán逻檀
- luó jiāng逻将
- luó chá逻察
- luó yě逻也
- luó zhēn逻侦
- luó xún逻巡
- luó rě逻惹
- luó chē逻车
- póu jí裒辑
- jí dìng辑定
- jí shǒu辑首
- jí kān辑刊
- zhèn jí镇辑
- jí xié辑谐
- jí níng辑㝉
- jí yìn辑印
- sōu jí蒐辑
- xuān jí宣辑
- nóng sāng jí yào农桑辑要
- zhuàn jí撰辑
- cǎi jí采辑
- chuán tǒng luó ji传统逻辑
- jiū jí鸠辑
- jí lǐ辑理
- diào jí调辑
- jí jù辑屦
- jí lù辑録
- jiǎn jí简辑