羽毛长成
发表于 2025-3-23 12:07:09
Maggie Andrews,N. C. Fleming,Marcus Morrisional systems from the perspective of cognitive processes, but a similar analysis is absent from the perspective of ., where the representations are employed. In this paper we review how representation choices are made for solving problems in the context of theorem proving from three perspectives: c
Narcissist
发表于 2025-3-23 15:35:20
http://reply.papertrans.cn/28/2709/270819/270819_12.png
流行
发表于 2025-3-23 18:14:46
Die Theorie der Gesellschaft neu verhandelnounting diagrams in mathematical papers. One year later, we have progressed, and in this paper I present and discuss ways of creating evidence on the use of diagrams in mathematical publications. Studying a corpus of mathematical journals from the early 21st century and focusing on the intensity of
模仿
发表于 2025-3-23 23:32:34
http://reply.papertrans.cn/28/2709/270819/270819_14.png
外露
发表于 2025-3-24 03:49:48
http://reply.papertrans.cn/28/2709/270819/270819_15.png
管理员
发表于 2025-3-24 08:41:29
http://reply.papertrans.cn/28/2709/270819/270819_16.png
硬化
发表于 2025-3-24 14:35:06
http://reply.papertrans.cn/28/2709/270819/270819_17.png
bacteria
发表于 2025-3-24 16:29:22
https://doi.org/10.1007/978-3-531-90113-8esentation within which Set Theory and, hence, the whole of mathematics can be diagrammatic developed. We present the syntax, semantics, and inference engine of BGL. We introduce and exemplify the BGL-inference rules by showing, throughout diagrammatic proofs, that the BGL-operators satisfy the anal
tooth-decay
发表于 2025-3-24 22:15:37
Michele Calella,Nikolaus Urbanekicians rather extracted the desired information by a simple ‘glance’ at their diagrams. Also, Peirce’s set of rules was the starting point of Sun-Joo Shin’s more recent systems which, in turn, inspired most subsequent modern diagrammatic systems. Despite their significance, these rules got little at
jabber
发表于 2025-3-25 00:56:00
Musikwissenschaft als Kunstwissenschaft?ation at TLP 5.502 (plus a third notation, the so called .-notation, at TLP 6.1203). Gregory Landini (.) has argued that both the truth-tabular notation and the N operator notation fulfill the Wittgensteinian ideal of having a language in which all and only logical equivalents have exactly one and t