An Essay on Denotational Mathematics
Giuseppe Iurato · IGI Global eBooks · 2017
Denotational mathematics is a new rigorous discipline of theoretical computer science which 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, 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.