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 条

[41] Relating mathematical abilities to numerical skills and executive functions in informal and formal schooling
Peera Wongupparaj
Roi Cohen Kadosh
BMC Psychology, 10
[42] THE DEVELOPMENT OF INFORMAL AND FORMAL MATHEMATICAL THINKING IN KOREAN AND UNITED-STATES CHILDREN
SONG, MJ
GINSBURG, HP
CHILD DEVELOPMENT, 1987, 58 (05) : 1286 - 1296
[43] Decentralising mathematics: Mutual development of spontaneous and mathematical concepts via informal reasoning
Uegatani, Yusuke
Otani, Hiroki
Fujita, Taro
EDUCATIONAL STUDIES IN MATHEMATICS, 2025, 118 (02) : 229 - 248
[44] A Formal Approach for Cautious Reasoning in Answer Set Programming
Amendola, Giovanni
Dodaro, Carmine
Maratea, Marco
PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 4716 - 4720
[45] Relating mathematical abilities to numerical skills and executive functions in informal and formal schooling
Wongupparaj, Peera
Kadosh, Roi Cohen
BMC PSYCHOLOGY, 2022, 10 (01)
[46] A formal approach to qualitative reasoning on topological properties of networks
Rodriguez, Andrea
Gutierrez, Claudio
MANAGING KNOWLEDGE IN A WORLD OF NETWORKS, PROCEEDINGS, 2006, 4248 : 358 - 365
[47] Learning in school and out: Formal and informal experiences with computer games in mathematical contexts
Yelland, N
LEARNING IN SCHOOL, HOME AND COMMUNITY: ICT FOR EARLY AND ELEMENTARY EDUCATION, 2003, 113 : 3 - 12
[48] A Mathematical Approach to Replenishment Techniques
Goldwasser, Samuel R.
JOURNAL OF THE SOCIETY OF MOTION PICTURE & TELEVISION ENGINEERS, 1954, 62 (01): : 11 - 23
[49] A UNIFIED MATHEMATICAL APPROACH TO 2-PORT CALIBRATION TECHNIQUES AND SOME APPLICATIONS
SOARES, RA
GOUZIEN, P
LEGAUD, P
FOLLOT, G
IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES, 1989, 37 (11) : 1669 - 1674
[50] MATHEMATICAL AND COMPUTER TECHNIQUES USED IN OLDBURY VESSELS
KELLER, AZ
CRUMP, AR
NUCLEAR ENGINEERING AND DESIGN, 1966, 4 (05) : 497 - &

← 1 2 3 4 5 →