数理逻辑：亦称符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。

已阅 10568 次 | 喜欢 9266 次 ❤

我已阅我喜欢

上一篇：数理经济学

下一篇：数理统计

荐词

罗刹日

罗刹日：1.星相术语。凶日名。
厦屋

厦屋：1.大屋。
铁将军把门

铁将军把门：1.俗语。谓门外加锁。
迎秋

迎秋：1.古代祭礼之一。古人以秋和五方之西﹑五色之白相配应，故于立秋日，天子率百官出西郊祭白帝，迎接秋季到来。
并门

并门：1.指并州。
羋兔

羋兔：1.张网捕兔。 2.用以称美贤者之行。 3.落网的兔。
楚狂士

楚狂士：1.见"楚狂"。
射石饮羽

射石饮羽：1.射箭入石中﹐陷没箭上的羽毛。谓勇猛善射。传其事者有四(1)指春秋楚养由基。《吕氏春秋·精通》"养由基射先，中石，矢乃饮羽，诚乎先也。"按﹐"先"为"兕"的误字。《论衡·儒增》﹑《文选·七启》李善注﹑《路史·发挥三》皆作"兕"。(2)指春秋熊渠子。《韩诗外传》卷六"昔者楚熊渠子夜行，寝石，以为伏虎，弯弓而射之，没金饮羽。下视，知其为石。"(3)指汉李广。《史记·李将军列传》"广出猎﹐见草中石﹐以为虎而射之﹐中石没镞。"裴髎集解引徐广曰"一作'没羽'。"(4)指北周李远。《周书·李远传》"〔远〕尝猎于莎栅，见石于丛蒲中，以为伏兔，射之而中，镞入寸余。就而视之，乃石也。"后为用心精诚或功力深湛之典，见唐李白《豫章行》。
横遏

横遏：1.拦阻。
缃缣

缃缣：1.即缣缃。浅黄色细绢。古时用以书写。亦借指书册。
卷藏

卷藏：1.收藏。
轫车

轫车：1.停车。
甄综

甄综：1.综合分析，鉴定品评。