Articolul precedent |
Articolul urmator |
759 6 |
Ultima descărcare din IBN: 2023-09-20 00:28 |
SM ISO690:2012 DRUGUS, Ioachim. Towards an Algebraic Set Theory for the Formalization of Data Structures. In: Conference on Mathematical Foundations of Informatics, Ed. 2018, 2-6 iulie 2018, Chișinău. Chișinău: "VALINEX" SRL, 2018, pp. 73-89. ISBN 978‐9975‐4237‐7‐9. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Conference on Mathematical Foundations of Informatics 2018 | ||||||
Conferința "Conference on Mathematical Foundations of Informatics" 2018, Chișinău, Moldova, 2-6 iulie 2018 | ||||||
|
||||||
Pag. 73-89 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
A set theory intended to serve as a foundational framework for data structures used in computer science is formulated as an axiomatic theory in algebraic presentation. This theory is weaker than Bourbaki’s set theory posited in the foundation of Bourbaki’s “theory of structures” and is weaker than ZF set theory. It is presumably the weakest mainframe set theory. |
||||||
Cuvinte-cheie data structure, atomification, aggregation, Set theory, associ- ation, well-founded set |
||||||
|