学科分类
/ 25
500 个结果
  • 简介:

  • 标签:
  • 简介:模糊自动机是自动机理论与基础研究的一个重要内容.然而如何对模糊自动机进行构造至关重要.在给出广义可能测度下线性时序逻辑语构公式所对应模糊交替Btchi自动机构造方法基础上,并对其归纳验证.结果表明,模糊交替Buchi自动机所识别的语言与广义可能测度下线性时序逻辑公式语义一致.

  • 标签: 模型检测 广义可能测度 KRIPKE结构 自动机 模糊自动机
  • 简介:笛卡尔的'我思故我在'是一种'自明'的逻辑设定并当作真知前提的命题。这种'自明'的命题设定,实质是以'我思'与'我在'同一的'亲知'来进行'思维'与'存在'的同一性证明。在逻辑方法上,就是通过'概念系统的同一性'设定专名的'先天概念'来阐明这种同一性的存在和获得'我思'的客观有效性与普遍有效性,并以此赋予其命题的真值性。

  • 标签: “我思故我在” “自明”设定 逻辑方法
  • 简介:余秋雨先生在他《行者无疆》一书中写到这样一个情景:在卢森堡的一条银行街上,他们想拍照留念,可是每次只要一举起照相机,总会有银行的工作人员跑出来制止。起初他们以为不可拍照是为了保护银行的某些信息,后来才弄清原来不允许拍照是为了保护进出银行顾客的隐私。这就是在这条街上不能拍照这一规则背后的逻辑

  • 标签: 逻辑 《行者无疆》 工作人员 银行 拍照 卢森堡
  • 简介:在交叉学科发展盛行的当代,逻辑学也毫不例外地实现了与多学科交叉融合,并开拓出许多新的研究领域。从数理逻辑思想的萌芽到笛卡尔实现其日渐成熟的过程中,不难看出这种交叉学科的发展有其很深的历史渊源,亦有其广阔的发展前景。这种逻辑学和数学相结合形成日渐成熟的交叉学科——数理逻辑,将启发人类实现逻辑学与其他学科相互融合的跨越式发展,带来科学研究引领学科建设的新时代。

  • 标签: 笛卡尔 数理逻辑 交叉学科 前景展望
  • 简介:在立体几何证明题中,大家普遍认为垂直的证明比平行的证明要困难.特别是证明的结论为线线垂直时,更令同学们抓狂.因为往往证明需要构造新的平面或者反复将线线垂直与线面垂直相互转化,这要求较高的思维能力.

  • 标签: 几何证明题 线线垂直 逻辑思维 逻辑链 线面垂直 思维能力
  • 简介:逻辑行动主义方法论”的要旨在于严格界划由言语行动之产品构成的“语言域”、由心智行动之产品构成的“思想域”以及由客观行动的对象构成的“对象域”。“标准米”是当今学界最受争议的先验-偶然知识谜题。使用逻辑行动主义方法论可以澄清相关研究中存在的诸多混乱,揭示出标准米示例不具备先验-偶然知识资质的真正原因,同时也可以为进一步说明先验-偶然知识论题的合理性奠定基础。

  • 标签: 逻辑行动主义 标准米 先验 偶然 知识
  • 简介:不论是从语义上看还是从逻辑上看,高职文化与高职校园文化是两个内涵和外延不同的概念。厘清高职文化与高职校园文化的逻辑关系将使高职文化建设的理论探讨能在同一个概念体系中进行,有利于明确高职文化建设的内容和方向。高职文化生成的基础是高职教育教学活动,高职文化建设需要高职教育教学实践活动的支撑。

  • 标签: 高职文化 高职校园文化 高职教育教学
  • 简介:【考场真题】阅读下面的材料,根据要求写一篇不少于800字的文章。(60分)每次看电视实况转播记者招待会,同事们都会争论一个问题:发言人面前的花是真的还是假的?有的人说是真花,有的人说是塑料花,双方各执一词。这天,同样的争论再次上演。一位年纪稍长者十分有把握地说:'肯定是真花,绝对不会错。''何以见得?''你们仔细看,那束花的叶子上有一小点干枯的地方,花朵的边缘也有一小处凋谢的痕迹。

  • 标签:
  • 简介:孟子所说"性"的含义有三点:指人性中异于禽兽的部分;性善是先天的;指人性中能够为善的动机。从逻辑学的角度来看",性善"实际上是一个理论假设",性善论"的论证属于循环论证。但是",性善论"在价值导向和理论基础方面仍有重要意义,结合荀子的"性恶论"可以更清楚地认识它的价值。

  • 标签: 孟子 性善论 逻辑
  • 简介:高等教育学学科建设与研究方法息息相关。在研究方法的视角下,可以将我国高等教育学学科建设的历程分为经验总结期、逻辑演绎期、实证期和反思期四个阶段,其中质性研究方法在高等教育理论研究中是缺位的。在人文社科方法论演进趋向的关照下,质性研究方法运用于高等教育学学科建设具有逻辑必然性,其所得到的理论是微观高等教育学,它具有开放性、实践性和情景性的特点。

  • 标签: 高等教育学 学科建设 历程 逻辑走向
  • 简介:烙饼问题是统筹、优化的问题,也是烙饼次数及每烙一次的时间和总时间构成的线性关系问题。教材编排侧重优化手段得到烙饼的最省时间,对此,也有必要通过数学建模,通过设计每次最多只能烙2张饼的最省时间和饼数(面数)关系表做出数学化回应。在此基础上,根据优化和抽象结果,对教学逻辑做出具体安排和说明。

  • 标签: 烙饼问题 统筹优化 数学建模 教学逻辑
  • 简介:"少即是多"理论出自建筑学领域,最早由德国建筑大师密斯·凡·德·罗提出:"Lessismore."后来延伸到产品设计甚至商业模式中,此后简单、专注、极致等词汇成了很多创业者的信条。创造小米帝国的雷军总结小米成功的七字诀为"专注、极致、口碑、快",支付宝、微信等现象级APP在功能上也信奉简单才是最好。虽然有这些经典案例,但大多数创业者对"少即是多"的真正意义仍然有些摸不到头脑。

  • 标签: 建筑大师 支付宝 商业逻辑 建筑学领域 产品设计 杯托
  • 简介:摘要逻辑学这门课程是高校普遍开设的一门课程,其目的就是培养学生通过正确的思维方式去进行思考,不断地提高学生的综合能力素质。但是由于逻辑学被列为各个高校的公共课,学科地位远不如专业课,其应用性也很难能够体现出来,缺乏完善的内容体系,这些问题直接导致了逻辑学教学的停滞不前。要想彻底地改变这种情况,就必须在教学上进行创新,将逻辑学的实用性真正地体现出来,让学生真正学有所获。

  • 标签: 高校逻辑学教学改革
  • 简介:逻辑学是一门工具性学科,也是支撑人类思维大厦的基础性学科。然而,近年来我国逻辑学教学和研究却处于一种不景气的状况。要摆脱这一状况,促进逻辑学教学与研究的繁荣和发展,逻辑课程的教学内容应当以讲授普通逻辑的基础理论知识,并可开设与日常生活密切相关的批判性思维课程,突出其实践性质,大量开展讨论和训练,把逻辑学的理论知识与思维能力的逻辑训练有机结合起来。

  • 标签: 逻辑教学 困境 对策
  • 简介:高校学生社区治理是在以高校学生公寓为中心形成的特定区域内,由高校和学生共同管理公共事务,不断协调高校教育目标和学生学习目标的过程。从"学生管理"到"高校学生社区治理",高等教育发展遵循着一条社会观念发展、教育理念发展、教育实践发展的逻辑主线。高校学生社区治理既是学生管理手段的变化,也是教育理念乃至社会价值观念的深层次变革,是我国社会改革进入到深水区的一个折射。

  • 标签: 高校 学生 社区 治理
  • 简介:领导本质理论的发展历经了传统认识阶段的权力权威论,现代认识阶段的实践、变革和激励理论和当下发展的新形态。领导本质是研究领导科学的逻辑起点,梳理归纳领导本质的演化逻辑和变迁启示,可以更好地明确领导科学的研究领域和研究着力点,有力地推动领导学科的理论与实践发展。

  • 标签: 领导本质 领导者 被领导者 演化逻辑
  • 简介:一、填空题(每题6分,共9题,共54分)1.命题P:“存在x∈R,使得x2+2x+5=0”的否定是——.

  • 标签: 逻辑联结词 自测题 填空题