6533b872fe1ef96bd12d2e9a

RESEARCH PRODUCT

An Essay on Denotational Mathematics

Giuseppe Iurato

subject

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]02 engineering and technology[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM][MATH.MATH-CT] Mathematics [math]/Category Theory [math.CT][INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]020204 information systems0202 electrical engineering electronic engineering information engineeringMathematics education020201 artificial intelligence & image processing[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC][INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC]ComputingMilieux_MISCELLANEOUS[MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]Mathematics

description

Denotational mathematics is a new rigorous discipline of theoretical computer science that springs out from the attempt to provide a suitable mathematical framework in which laid out new algebraic structures formalizing certain formal patterns coming from computational and natural intelligence, software science, cognitive informatics, neuronal networks, and artificial intelligence. In this chapter, a very brief but rigorous exposition of the main formal structures of denotational mathematics is outlined within naive set theory.

https://doi.org/10.4018/978-1-5225-2255-3.ch670