Institutul de Matematică şi Informatică "Vladimir Andrunachievici"
Universitatea de Stat din MoldovaRO EN
Basics of Intensionalized Data: Presets, Sets, and Nominats
Authors: M. Nikitchenko, A. Chentsov
Keywords: Set theory, alternative set theories, notion intension, intensionality, presets, nominats, computability, intensionalized computability.
– 0.21 Mb
Keywords: Set theory, alternative set theories, notion intension, intensionality, presets, nominats, computability, intensionalized computability.
Abstract
In the paper we consider intensional aspects of the notion of data. We advocate an idea that traditional set-theoretic platform should be enhanced with new data structures having explicit intensional component. Among such data we distinguish the notions of preset and nominat. Intuitively, presets may be considered as collections of "black boxes", nominats may be considered as collections of "grey boxes" in which "white boxes" are names and "black boxes" are their values, while sets may be treated as collections of "white boxes". We describe intensions and properties of the introduced notions. We define operations over such data as functions computable in a special intensionalized sense.Mykola Nikitchenko
Taras Shevchenko National University of Kyiv
01601, Kyiv, Volodymyrska st, 60
Phone: +38044 2590519
E-mail:
Alexey Chentsov
Taras Shevchenko National University of Kyiv
01601, Kyiv, Volodymyrska st, 60
Phone: +38044 2590511
E-mail:
Taras Shevchenko National University of Kyiv
01601, Kyiv, Volodymyrska st, 60
Phone: +38044 2590519
E-mail:
Alexey Chentsov
Taras Shevchenko National University of Kyiv
01601, Kyiv, Volodymyrska st, 60
Phone: +38044 2590511
E-mail:
Fulltext
– 0.21 Mb
Contents
- Toward the Soundness of Sense Structure Definitions in Thesaurus-Dictionaries. Parsing Problems and Solutions*
- Gröbner Basis Approach to Some Combinatorial Problems
- References and arrow notation instead of join operation in query languages
- Basics of Intensionalized Data: Presets, Sets, and Nominats
- P systems based on tag operations
- Static and Dynamic Membrane Structures
- Abstracts of Doctor Habilitatus Thesis
