GENERIC PROVING: UNPACKING THE MAIN IDEAS OF A PROOF

被引：0
|
作者：
Leron, Uri [1 ]
Zaslavsky, Orit [1 ]
机构：
[1] Technion Israel Inst Technol, IL-32000 Haifa, Israel
来源：
PME 33: PROCEEDINGS OF THE 33RD CONFERENCE OF THE INTERNATIONAL GROUP FOR THE PSYCHOLOGY OF MATHEMATICS EDUCATION, VOL 1 | 2009年 / 1卷
关键词：
D O I：
暂无
中图分类号：
G40 [教育学];
学科分类号：
040101 ; 120403 ;
摘要：
引用
收藏
页码：297 / 297
页数：1
相关论文
共 50 条
  • [1] Conceptions of proof and proving in mathematics education - an analysis of the development of ideas in the didactics of mathematics
    Biehler, Rolf
    Kempen, Leander
    JOURNAL FUR MATHEMATIK-DIDAKTIK, 2016, 37 (01): : 141 - 179
  • [2] Proof is in the 'Proving'
    Whitman, S
    CONTROL ENGINEERING, 2004, 51 (10) : 37 - 38
  • [3] Generic Unpacking Techniques
    Babar, Komal
    Khalid, Faiza
    2009 2ND INTERNATIONAL CONFERENCE ON COMPUTER, CONTROL AND COMMUNICATION, 2009, : 470 - 475
  • [4] A generic modular data structure for proof attempts alternating on ideas and granularity
    Autexier, S
    Benzmüller, C
    Dietrich, D
    Meier, A
    Wirth, CP
    MATHEMATICAL KNOWLEDGE MANAGEMENT, 2006, 3863 : 126 - 142
  • [5] UNIT PROOF AND INPUT PROOF IN THEOREM PROVING
    CHANG, CL
    JOURNAL OF THE ACM, 1970, 17 (04) : 698 - &
  • [6] A Generic Logic for Proving Linearizability
    Khyzha, Artem
    Gotsman, Alexey
    Parkinson, Matthew
    FM 2016: FORMAL METHODS, 2016, 9995 : 426 - 443
  • [7] Proof and proving in secondary school
    Mudaly, Vimolan
    PYTHAGORAS, 2007, (66) : 64 - 75
  • [8] PROVING AND PROOF AS AN EDUCATIONAL TASK
    Mariotti, Maria Alessandra
    PROCEEDINGS OF THE SEVENTH CONGRESS OF THE EUROPEAN SOCIETY FOR RESEARCH IN MATHEMATICS EDUCATION (CERME 7), 2011, : 61 - 89
  • [9] Proof and proving in school mathematics
    Stylianides, Andreas J.
    JOURNAL FOR RESEARCH IN MATHEMATICS EDUCATION, 2007, 38 (03) : 289 - 321
  • [10] Proof phenomenon as a function of the phenomenology of proving
    Hipolito, Ines
    PROGRESS IN BIOPHYSICS & MOLECULAR BIOLOGY, 2015, 119 (03): : 360 - 367
12345