退出
我的积分:
中文文献批量获取
外文文献批量获取
Yu Gen-qiang; 俞根强;
中国自然辩证法研究会;
辩证逻辑; 数学化; 希尔伯特纲领; 哲学理论;
机译:智能信息处理的数学辩证逻辑研究
机译:辩证逻辑K模型:机器的数学模型
机译:用于本地化应用程序的链接数据和辩证逻辑
机译:持续值逻辑代数 - 数学辩证逻辑基本研究
机译:法律上的金钱:大量抽象的性质。关于法律范畴的对偶性和货币继承的抽象的辩证逻辑文章。
机译:威廉姆斯综合症个体的数学技能:来自标准化数学组的证据
机译:这项研究是在课堂七SMPN 51万隆进行了准实验研究。本研究旨在回顾:学生的数学学习和教师谁通过结构化的任务和普通任务,增加了通过结构化的任务,普通任务和使用Knisley数学学习模式学生的数学解题能力的差异使用Knisley数学学习模型的描述传统的学习,提高质量Knisley的数学学习模式通过结构化的任务和数学通过普通的任务学习模型,以及对数学的学习,使用学生的态度数学通过结构化的任务,并通过普通的任务,学习的楷模。所用的研究方法是不等价的方法(前测和后测)对照组设计。使用科研仪器在测试和nontes形式获得的数据。之后正进行观察和分析。基于数据处理的结果,得到的:学生和教师的活动的图片已经增加到被越来越好,也有解决谁使用的数学通过结构化的任务,数学学习模式学习模型的数学问题学生的能力差异和传统的学习,获得增加的质量是低质量,以及给人以数学使用Knisley数学学习模型学习的积极响应学生
机译:数学科学:用于表征粒度介质动力学的均匀化驱动多尺度方法及其在大规模并行异构硬件体系结构上的实现。
机译:瓦片的模块化系统,其形状可以表示一位数字(0到9)以及计算符号(四个操作等)和数学符号(左右括号),用于构造数学游戏和教学
机译:画混合器,以进行模型化,数学化和微型化。
机译:具有其中记录的数学表达输出程序的数学表达输出计算机,数学表达输出方法,数学表达输出程序以及计算机可读记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。