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 条
  • [21] A Categorical Model of Process Co-Simulation
    Craciunean, Daniel-Cristian
    Karagiannis, Dimitris
    [J]. INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2019, 10 (03) : 430 - 438
  • [22] ERROR IN CATEGORICAL MAPS - TESTING VERSUS SIMULATION
    CHRISMAN, NR
    [J]. AUTO CARTO 9 : NINTH INTERNATIONAL SYMPOSIUM ON COMPUTER-ASSISTED CARTOGRAPHY, 1989, : 521 - 529
  • [23] On the Syntax and Semantics of the Bound Noun Constructions: With a Computational Implementation
    Kim, Jong-Bok
    Yang, Jaehyung
    [J]. PACLIC 21: THE 21ST PACIFIC ASIA CONFERENCE ON LANGUAGE, INFORMATION AND COMPUTATION, PROCEEDINGS, 2007, : 223 - +
  • [24] A computational implementation of idiomatic and non-idiomatic constructions
    Mairal Uson, Ricardo
    [J]. REVISTA SIGNOS, 2017, 50 (94): : 241 - 264
  • [25] Computational complexity of the semantics of some natural language constructions
    Mostowski, M
    Wojtyniak, D
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2004, 127 (1-3) : 219 - 227
  • [26] Computational Morphogenesis: Morphologic constructions using polygonal discretizations
    Choi, Habeun
    Chi, Heng
    Park, Kyoungsoo
    Paulino, Glaucio H.
    [J]. INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, 2021, 122 (01) : 25 - 52
  • [27] COMPUTATIONAL MODELING OF SEVERE GRADIENTS WITH MASS OPERATOR CONSTRUCTIONS
    FLETCHER, CAJ
    [J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1988, 16 (1-2) : 31 - 39
  • [28] COMPUTATIONAL LIGHTWEIGHT - CONSTRUCTIONS HIGH-TECH ARCHITECTURE
    Janakieska, Marija Miloshevska
    Gramatikov, Kiril
    Zbasnik-Senegacnik, Martina
    Kusar, Tomaz
    Kuzman, Manja Kitek
    [J]. DIGITALISATION AND CIRCULAR ECONOMY: FORESTRY AND FORESTRY BASED INDUSTRY IMPLICATIONS, 2019, : 93 - 98
  • [29] A representational system of idiomatic constructions: For the building of computational resources
    Chae, Hee-Rahk
    [J]. LINGUISTIC RESEARCH, 2014, 31 (03) : 491 - 518
  • [30] A computational implementation of internally headed relative clause constructions
    Kim, Jong-Bok
    Sells, Peter
    Yang, Jaehyung
    [J]. ADVANCES IN NATURAL LANGUAGE PROCESSING, PROCEEDINGS, 2006, 4139 : 24 - 31
12345