数学证明

作品数：571被引量：492H指数：10
导出分析报告
相关领域：文化科学理学更多>>
相关作者：黄秦安孙中芳卓泽强郭民罗增儒更多>>
相关机构：华东师范大学北京师范大学陕西师范大学中国科学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家教育部博士点基金国家社会科学基金上海市教育委员会重点学科基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
采用自动推理技术增强系统效能
《软件和集成电路》2025年第1期10-13,共4页Byron Cook 
开发者在运用自动推理工具时,需要具备特殊的思维方式—并非全面枚举所有可能的输入情况及潜在的错误路径,而是要侧重于明确系统运作的机制,精准识别出确保系统无误运行所不可或缺的条件,并进一步借助严谨的数学证明手段,来验证这些条...
关键词：自动推理 数学证明 精准识别 枚举 验证过程 修复工作 漏洞 开发者 
国际视域下数学证明概念的述评研究
《数学教学研究》2024年第6期2-5,共4页张赫洋 
数学证明不仅是数学学科的核心,也是数学教育中的一条主线。随着国际上数学教育研究的不断扩充,数学证明的概念内涵也在发生着一定的转变.在这个背景下,有必要在国际视域下对数学证明的概念进行更加深入的辨析.本研究以国际上一些重要...
关键词：数学证明 述评研究 数学推理 
后期维特根斯坦对数学逻辑主义的批判——兼论数学哲学研究新途径的可能性
《安徽理工大学学报(社会科学版)》2024年第6期21-27,共7页徐晟程 管月飞 
国家哲学社会科学一般基金项目:英国观念论的逻辑演进研究(23BZX058)。
后期维特根斯坦对数学逻辑主义的批判,既是其语言批判思想在数学领域的应用,也是其数学哲学思想的重要组成部分。该批判包括三重维度:(1)重新明确数学本性,坚信数学既非关于抽象对象的知识体系,亦非以逻辑演绎为核心的科学,而是由一系...
关键词：后期维特根斯坦 数学逻辑主义 数学哲学 命题建构 数学证明 
对一道高考试题条件的深度研究
《物理通报》2024年第11期136-137,143,共3页苏俊 
对2007年普通高等学校招生全国统一考试理科综合能力测试(Ⅱ卷)第25题进行深度研究,指出其隐蔽错误条件及其引起的不科学解析.通过严格数学推理,厘清解析思路.
关键词：高考命题 条件 数学证明 
加强三个过程教学 培养学生核心素养
《中学数学教学》2024年第4期5-9,共5页柏素霞 李树臣 
江苏省中小学教学研究第十四期重点课题“指向中学生数学学习品质的人文课堂构建研究”(编号:2021JY14-ZB40)。
数学教育教学的根本目标是提升学生的数学核心素养,核心素养是在学生经历各种过程之中逐渐形成与发展的.过程是以具体知识为“载体”展开的.课程内容可以分为数学概念、数学命题和数学证明.经历数学概念的建立过程、数学命题的探索过程...
关键词：核心素养 数学概念 数学命题 数学证明 
数字逻辑若干基本定理的证明
《快乐巧连智》2024年第18期259-261,共3页尚泽译 张欢 张娅岚 望璐璐 
2024-2025年中国民用航空飞行学院校级面上项目。课题名称:基于膜计算的轮式机器人控制器FPGA实现与应用研究(项目编号:24CAFUC03040);2023年度中国民用航空飞行学院新建本科专业标准及实验教学平台建设项目,课题名称:物联网工程专业实验教学平台设计与搭建,项目编号:MHJY2023027。
本文证明了在数字逻辑中广泛应用的几个结论,将这些结论作为定理,以原码、反码、补码的定义为切入点,结合二进制运算的特点,辅以运算竖式图,给出了这些结论的数学证明。证明过程逻辑严密、图文并茂,力求将数字逻辑中的基本结论以最清晰...
关键词：数字逻辑 二进制运算 数学证明 基本定理 图文并茂 逻辑严密 学生的思维 基本结论 
纳皮尔对数的数学证明及精度分析被引量：1
《集成技术》2024年第2期3-14,共12页孙鹏 王云鹏 吴琼 宋德王 张小飞 杜娟 斯白露 李慧云 
对数函数在自动驾驶系统中有着广泛应用,如自动驾驶感知系统所使用的深度学习或卷积神经网络常会利用对数函数来设计损失函数,故研究对数发明的历史对掌握对数的概念和应用具有重要意义。该文阐述了纳皮尔对数的定义及其3张表,分析了前...
关键词：科学史 纳皮尔 对数 自动驾驶 深度学习 
一景两图 孰是孰非——从一道单摆习题谈起
《物理通报》2024年第1期138-140,共3页郭培东 林晓璐 
通过对两道同一情景的单摆试题所涉及的相关问题的讨论,强调试题的科学性原则,也进一步体会了数学知识及信息技术在高中物理教学中的基础性和便捷性作用.
关键词：单摆 F-t图像 数学证明 信息技术 
证明
《中学数学教学参考》2023年第35期36-38,共3页马敏 
1教学分析。1.1设计思路。理性精神、推理意识是人类思维的典型特征,而数学证明是提升这种逻辑思维的最佳手段。学生在小学阶段经历了探索一些图形的形状、大小和位置关系的过程,了解了一些几何体和平面图形的基本特征,在观察、实验、...
关键词：图形与几何 说明理由 平面图形 数学证明 演绎推理 教学分析 逻辑能力 逻辑思维 
两种版本初中教材“光的折射”虚像位置的教学思考
《中学物理教学参考》2023年第31期37-38,共2页葛长征 
以“光的折射”教学中“虚像到底在哪里”的问题为对象,通过数学方法证明教材中值得商榷的部分﹐阐述对初中物理教学的思考。
关键词：光的折射﹔虚像位置 数学证明 
全选清除导出
共58页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部