共查询到20条相似文献,搜索用时 187 毫秒
1.
介绍了R.W.Floyd的证明程序部分正确性的归纳断言法和证明程序终止性的良序集法,以及Hoare公理系统。 相似文献
2.
王亚斌 《桂林师范高等专科学校学报》2011,25(1):71-75
指宾状位形容词前置研究可以从必要性与可能性两个方面展开,其中可能性研究是语法研究的重点,实质上就是指宾状语形容词前置条件。指宾状语形容词前置条件包括句法结构制约机制和语义特征制约机制两方面。其中句法结构方面的制约主要是体现在要求数量限定结构和时体标记词同现。语义特征制约机制包括句中动词与指宾状位形容词自身两个方面。经分析,发现指宾状语前置其绝对限制作用的不是句法上的制约,而是语义上的制约,尤其是前置的指宾状语与宾语之间的关系性质。 相似文献
3.
欧几里得几何是第一个公理化体系,非欧几何的出现促使人们对它的基础作了严格审视,其中希尔伯特公理化方法最为成功;但它的相容性问题一直没有解决,集合论悖论使得这个问题更加尖锐。虽然集合论的公理化一度时期曾化解了悖论给公理化方法所带来的危机,但不久哥德尔不完全性定理就深刻地揭露了公理化方法不可避免的局限性。尽管后来的布尔巴基学派的结构数学使公理化方法更上一层楼,但仍然无法克服公理化方法本身的局限性。 相似文献
4.
数学问题解决的方法由来已久,公元前三世纪古希腊的<几何原本>在几何问题解决中形成了对数学体系建立影响巨大的公理化方法.文章深入考察公理化方法产生和发展的历史脉络并指出公理化方法在数学教育中的作用和应遵循的原则. 相似文献
5.
6.
鲁兴启 《十堰职业技术学院学报》2001,14(2):25-34
公理化方法是演绎科学方法,但其基本精神早已渗透到经验科学之中,如何从科学方法论和科学认识论的角度对此作深入而系统的探讨,归当代科学哲学及跨学科理论研究中一个十分重要且又有相当难度的问题。本从分析经验科学公理化的特征入手,指出经验科学的公理化与演绎科学的公理化有不尽相同的模式,进而探讨了经验科学公理化的客观基础和可行性,最后分析了在经验科学中运用公理化方法的意义。 相似文献
7.
《西北成人教育学报》2017,(5)
公理化方法是自然科学的产物,一般用于自然科学领域内,在人文科学领域内用之较少。但是,公理化方法具有其自身的优势,尝试运用公理化方法对作为人文科学的教育理论进行考察,对于教育学的学科建设、教育基本理论的形成具有重要价值。本文通过对公理化方法的内涵、发展历程以及意义的梳理,在深入解读张楚廷教育的公理化思想基础上,来探究公理化思想视域下的教育。 相似文献
8.
9.
10.
11.
数学公理化方法是研究数学的重要思想方法,如何正确认识它,不仅对数学科学自身的发展,而且对于其它相关联学科的建设与发展都有重要意义.笔者在对公理化方法的发展历史进行回顾的基础上,论述了公理化方法的不同类型及其逻辑特征,浅析了公理化方法的积极作用及其局限性,并据此探讨了公理化方法对数学教学的启示. 相似文献
12.
13.
14.
概率问题是比较复杂的一类问题,本文通过对概率的公理化定义所涉及的概率问题的方法进行探讨,总结出几个有用的解题方法。 相似文献
15.
陆娜 《数理天地(高中版)》2024,(1):119-121
公理化思想是数学学习中的重要内容,其在高中阶段的教学中具有重要的作用.本文从公理化思想在高中数学教学中的作用,培养学生公理化思想的方法和实践策略以及在培养学生公理化思想中遇到的挑战等方面进行探讨,旨在为数学教学提供一些借鉴和思路. 相似文献
16.
公理化思想的发展始终伴随着整个知识的起源和增长.本文概述了公理学从实质公理化阶段到形式公理化阶段的发展过程,论述了二者的不同特征及其对自然科学知识增长的推动作用,同时还分析了公理化思想在科学思维方法和社会科学领域的渗透性应用. 相似文献
17.
18.
公理化方法作为一种重要的数学方法,在培养学生数学抽象、逻辑推理和直观想象等数学核心素养方面有重要的意义.它对于数学核心素养导向下的数学教学的启示有:教师要准确把握数学教科书中公理化体系的特点;教师要引导学生在理解公理化方法的基础上进行正确的逻辑推理;教师要通过介绍公理化方法的文化价值提升学生的人文素养. 相似文献
19.
用科学的概念建构的四条规则分析近年来学者给出的"对话教学"概念,发现其中存在许多问题。这对教学论学科建设的启示是:可借鉴数学的公理化方法,建立一套有教学论特点的"准公理化体系",从而规范教学研究,避免空虚争论,但这是一项艰巨的系统工程。 相似文献
20.
公理化方法是数学中的一个很重要的方法,准确地认识公理化方法,不仅对于数学这门学科的发展有很重要的影响,而且还对其他自然科学学科的建设起重要作用。本文将从公 相似文献