Computational simulation of categorical constructions

被引：0

作者：

Vieira, RB ^{[1
]}

Menezes, PB ^{[1
]}

机构：

[1] UFRGS, Comp Inst, Porto Alegre, RS, Brazil

来源：

COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2005 | 2005年 / 3643卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Category Theory is a useful topic to the studies of Computer Science. In spite of experiments with children suggest that categorical reasoning is supposed to be natural to humans, the ones who study Category Theory expose difficulties. This paper starts presenting and analyzing this situation. Then it is developed an evaluation of computational models which represents categorical structures as a way to help students in dealing with categorical concepts intuitively. In the context of this evaluation, a computational model is presented.

引用

页码：44 / 49

页数：6

共 50 条

[1] CATEGORICAL CONSTRUCTIONS FOR HOPF ALGEBRAS
Agore, A. L.
[J]. COMMUNICATIONS IN ALGEBRA, 2011, 39 (04) : 1476 - 1481
[2] External Extreme Impacts on NPP Constructions - Methodology of Computational simulation
Belostotskiy, Alexandr M.
Dubinsky, Sergey I.
Afanasyeva, Irina N.
Kotov, Fedor M.
Vershinin, Vladislav V.
Scherbina, Sergey V.
Petryashev, Sergey O.
Petryashev, Nicolay O.
[J]. HIGH TECHNOLOGY: RESEARCH AND APPLICATIONS, 2014, 1040 : 472 - 477
[3] Categorical constructions in C*-algebra theory
Khoshkam, M
Tavakoli, J
[J]. JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2002, 73 : 97 - 113
[4] On some categorical constructions in mathematical physics
Moskaliuk, SS
Vlassov, AT
[J]. 5TH WIGNER SYMPOSIUM, PROCEEDINGS, 1998, : 162 - 164
[5] Quantale Valued Sets: Categorical Constructions and Properties
Alvim, Jose G.
Mariano, Hugo L.
Mendes, Caio de A.
[J]. STUDIA LOGICA, 2024,
[6] Categorical versus gradient properties of classifier constructions in ASL
Emmorey, K
Herzig, M
[J]. PERSPECTIVES ON CLASSIFIER CONSTRUCTIONS IN SIGN LANGUAGES, 2003, : 221 - 246
[7] Computational modelling of historical constructions
Hernandez, S.
[J]. ADVANCES IN ENGINEERING SOFTWARE, 2008, 39 (04) : 247 - 248
[8] COMPUTATIONAL COMPLEXITY AND PROBABILITY CONSTRUCTIONS
WILLIS, DG
[J]. JOURNAL OF THE ACM, 1970, 17 (02) : 241 - +
[9] Categorical data integration for computational science
Brown, Kristopher S.
Spivak, David, I
Wisnesky, Ryan
[J]. COMPUTATIONAL MATERIALS SCIENCE, 2019, 164 : 127 - 132
[10] On the computational representation of constructions: The place of locative constructions in a knowledge base
Rodriguez-Juarez, Carolina
[J]. REVISTA SIGNOS, 2019, 52 (100): : 357 - 380

← 1 2 3 4 5 →