饶舌的人
发表于 2025-3-26 21:13:08
Impact of Informatics on Mathematics and Its Teachingological research on the interactions between mathematics and informatics is necessary to feed didactical research on today’s mathematics learning and teaching situations, impacted by the development of informatics. We develop some examples to support this idea and propose some perspectives to attac
boisterous
发表于 2025-3-27 02:08:44
Conference proceedings 2016d in Pisa, Italy in October 2015..The 18 full papers included in this volume were carefully reviewed and selected from the 30 papers presented at the conference. They cover topics ranging from the world history of computing to the role of computing in the humanities and the arts. .
left-ventricle
发表于 2025-3-27 07:41:57
Computing, Design, Art: Reflections on an Innovative Moment in Historyts and designers, focusing on Bruce Archer (1922–2005) and John Lansdown (1929–1999) in London. It suggests that models of computing interacted with conceptualisations of art, design and creative activities in important ways.
incite
发表于 2025-3-27 12:54:46
http://reply.papertrans.cn/43/4276/427506/427506_34.png
大骂
发表于 2025-3-27 16:32:06
1868-4238 lected from the 30 papers presented at the conference. They cover topics ranging from the world history of computing to the role of computing in the humanities and the arts. .978-3-319-83699-7978-3-319-47286-7Series ISSN 1868-4238 Series E-ISSN 1868-422X
淘气
发表于 2025-3-27 18:49:30
http://reply.papertrans.cn/43/4276/427506/427506_36.png
错事
发表于 2025-3-28 01:22:55
Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesisknow its own code exactly but cannot know its own correctness (despite actually being sound). In particular, we define a machine that, for (at least) a specific case, knows its own code and knows to be sound.
anus928
发表于 2025-3-28 06:09:39
Algorithmic in the 12th Century: The Carmen de Algorismo by Alexander de Villa Deimportance, the work has not yet been thoroughly investigated both for its relative difficulty, because it is composed in verse by a refined author, and for the presence of a contemporary literature of the same content, starting precisely from the one by Sacrobosco.
URN
发表于 2025-3-28 07:08:43
http://reply.papertrans.cn/43/4276/427506/427506_39.png
博爱家
发表于 2025-3-28 13:42:33
1868-4238 he History and Philosophy of Computing, held in Pisa, Italy in October 2015..The 18 full papers included in this volume were carefully reviewed and selected from the 30 papers presented at the conference. They cover topics ranging from the world history of computing to the role of computing in the h