首页> 外文学位 >AN EXAMINATION OF THE CENTRAL PROPOSITIONS OF LOGICISM, FORMALISM AND INTUITIONISM: IMPLICATIONS FOR PROGRAM DEVELOPMENT IN MATHEMATICS FOR SCHOOLING.

【24h】

AN EXAMINATION OF THE CENTRAL PROPOSITIONS OF LOGICISM, FORMALISM AND INTUITIONISM: IMPLICATIONS FOR PROGRAM DEVELOPMENT IN MATHEMATICS FOR SCHOOLING.

机译：逻辑主义，形式主义和直觉主义的中心命题的考察：对学校数学程序发展的启示。

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

作者
KEIRANS, HONOR LOUISE.;
展开▼
作者单位

Temple University.;

展开▼
授予单位 Temple University.;
学科 Curriculum development.
学位 Educat.D.
年度 1987
页码 107 p.
总页数 107
原文格式 PDF
正文语种 eng
中图分类
关键词
入库时间 2022-08-17 11:50:59

相似文献

外文文献
中文文献
专利

1. Emmy Noether's first great mathematics and the culmination of first-phase logicism, formalism, and intuitionism [J] . McLarty C. Archive for History of Exact Sciences . 2011,第1期

机译：艾米·诺瑟（Emmy Noether）的第一批伟大数学以及第一阶段逻辑主义，形式主义和直觉主义的顶峰
2. Emmy Noether’s first great mathematics and the culmination of first-phase logicism, formalism, and intuitionism [J] . Colin McLarty Archive for History of Exact Sciences . 2011,第1期

机译：艾美奖诺瑟（Emmy Noether）的第一批伟大的数学以及第一阶段逻辑主义，形式主义和直觉主义的顶峰
3. Sten Lindström, Erik Palmgren, Krister Segerberg, and Viggo Stoltenberg-Hanse, editors. Logicism, Intuitionism, and Formalism: What Has Become of Them? [J] . Philosophia Mathematica . 2009,第2期

机译：编辑StenLindström，Erik Palmgren，Krister Segerberg和Viggo Stoltenberg-Hanse。逻辑主义，直觉主义和形式主义：它们变成了什么？
4. On the Computational complexity of Propositional Logic Programs with Nested Implications [C] . Jorg Hudelmaier International Workshop on Extensions of Logic Programming . 1996

机译：论嵌套含义的命题逻辑程序的计算复杂性
5. An examination of alternative propositions describing literature: Implications for program development for secondary schooling. [D] . Soffer, Lea F. 1990

机译：考察描述文学的其他命题：对中学课程开发的启示。
6. A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models [O] . Juliana S Bernardes, Alessandra Carbone, Gerson Zaverucha 2011

机译：结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
7. Turner's logic of universal causation, propositional logic, and logic programming [O] . Ji, Jianming, Lin, Fangzhen 2013

机译：特纳的通用因果逻辑，命题逻辑和逻辑编程

AN EXAMINATION OF THE CENTRAL PROPOSITIONS OF LOGICISM, FORMALISM AND INTUITIONISM: IMPLICATIONS FOR PROGRAM DEVELOPMENT IN MATHEMATICS FOR SCHOOLING.

著录项

相似文献

相关主题

期刊订阅