A FORMAL APPROACH TO SOME USUALLY INFORMAL TECHNIQUES USED IN MATHEMATICAL REASONING

被引：0
|
作者：
DELATOUR, TB
CAFERRA, R
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 358卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：402 / 406
页数：5
相关论文
共 50 条
  • [1] Informal Reasoning and Formal Logic: Normativity of Natural Language Reasoning
    Smokrovic, Nenad
    CROATIAN JOURNAL OF PHILOSOPHY, 2018, 18 (54) : 455 - 469
  • [2] Defining as a mathematical activity: A framework for characterizing progress from informal to more formal ways of reasoning
    Zandieh, Michelle
    Rasmussen, Chris
    JOURNAL OF MATHEMATICAL BEHAVIOR, 2010, 29 (02): : 57 - 75
  • [3] Problem-solving rubrics revisited: Attending to the blending of informal conceptual and formal mathematical reasoning
    Hull, Michael M.
    Kuo, Eric
    Gupta, Ayush
    Elby, Andrew
    PHYSICAL REVIEW SPECIAL TOPICS-PHYSICS EDUCATION RESEARCH, 2013, 9 (01):
  • [4] A Framework for Heterogeneous Reasoning in Formal and Informal Domains
    Urbas, Matej
    Jamnik, Mateja
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2014, 2014, 8578 : 277 - 292
  • [5] Peano: learning formal mathematical reasoning
    Poesia, Gabriel
    Goodman, Noah D.
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2023, 381 (2251):
  • [6] The integration of undergraduate students' informal and formal inferential reasoning
    Gomez-Blancarte, Ana Luisa
    Tobias-Lara, Maria Guadalupe
    EDUCATIONAL STUDIES IN MATHEMATICS, 2023, 113 (02) : 251 - 269
  • [7] The integration of undergraduate students’ informal and formal inferential reasoning
    Ana Luisa Gómez-Blancarte
    María Guadalupe Tobías-Lara
    Educational Studies in Mathematics, 2023, 113 : 251 - 269
  • [8] Formal reasoning techniques for goal models
    Giorgini, P
    Mylopoulos, J
    Nicchiarelli, E
    Sebastiani, R
    JOURNAL ON DATA SEMANTICS I, 2003, 2800 : 1 - 20
  • [9] A DISCUSSION OF SOME MATHEMATICAL TECHNIQUES USED IN KRONS METHOD OF TEARING
    HARRISON, BK
    JOURNAL OF THE SOCIETY FOR INDUSTRIAL AND APPLIED MATHEMATICS, 1963, 11 (02): : 258 - 280
  • [10] CRITICAL FEATURES OF FORMAL AND INFORMAL REASONING IN THE CASE OF THE CONCEPT OF DERIVATIVE
    Viholainen, Antti
    PROCEEDINGS OF THE 35TH CONFERENCE OF THE INTERNATIONAL GROUP FOR PSYCHOLOGY OF MATHEMATICS EDUCATION, VOL. 4: DEVELOPING MATHEMATICAL THINKING, 2011, : 305 - 312
12345