学术工具
退出
我的积分:
中文文献批量获取
外文文献批量获取
史宁中;
东北师范大学数学与统计学院,吉林长春130024;
逻辑推理; 演绎; 归纳; 类比; 数学命题; 数学定义;
机译:推理;直觉逻辑;证明理论;逻辑性质;逻辑运算符
机译:逻辑感觉很好-我喜欢它!三段论推理中逻辑性的直观检测的证据
机译:实施魔术三角形的使用,以开发在提供学校数学中的数学推理过程中
机译:客观性,逻辑性和科学正义性:以卡纳普的“世界的逻辑结构”为例(逻辑实证主义,基金会主义,维也纳循环,科学统一,分析哲学)。
机译:优化的伽马同步增强演绎推理过程中数学天赋青少年的额顶皮质的功能结合。
机译:通过变异思维,与圣安东尼奥普拉多合作学院小学四年级学生,通过学习管理系统介导的教学策略,制定数学逻辑推理过程的教学建议。 2014年
机译:具有公平约束的petri网线性时态逻辑性质模型检验。
机译:进行推理过程的推理系统和方法
机译:想象力,创造力,逻辑推理,数学和人际互动与字母的游戏,包含寓言,民俗或民间人物的插图和图形,编号为1至9
机译:一种促进数学和几何学教学的设备,可用于逻辑推理和演绎中的教与学
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。