The constructional knowledge of sets and their properties

V.M. Ilman, V.I. Shinkarenko

Abstract


Prombles in programming 2014; 1: 3-17

References


Босов А.А. Функции множества и их применение. –Днепродзержинск: Изд. дом "Андрей", 2007. – 182 с.

Левин Д.Я. Язык сверхвысокого уровня СЕТЛ и его реализация. – Новосибирск: Наука, Сибирское отделение, 1983. – 160 с.

Прохоров Г.В., Лебедев М.А., Колбеев В.В. Пакет символьных вычислений Maple V. – М.: "Петит", 1997. – 200 с.

Гарсиа-Молина Г., Ульман Дж., Уидом Дж.. Системы баз данных. – М.: Вильямс, 2004. – 1088 с.

Никитченко Н.С. Композиционно-номинативный подход к уточнению понятия программы // Проблемы программирования. – 1999. – № 1. – С. 16 – 31.

Blizard W. The Development of Multiset Theory // Notre Dame Journal of Formal Logic. – 1989. – Vol. 30, N 1. – P. 36 – 66.

Богатырёва Ю.А. Мультимножества: библиография, решетка мультимножеств // Тези доповідей VI Міжнародної конференції

"Теоретичні та прикладні аспекти побудови програмних систем". – TAAPSD'2009. – К., 2009. – С. 13 – 20.

Knuth D. Context-Free Multilanguages // Theoretical Studies in Computer Science. – Academic Press, 1992. – P. 1 – 13.

Кнут Д. Искусство программирования для ЭВМ. – М.: Мир, Т 2. – 1977. – 727 с.

Ільман В.М., Скалозуб В.В., Шинкаренко В.І. Формальні структури та їх застосування.– Дніпропетровськ: Вид-во Дніпропетр. нац. ун-ту залізн. трансп., 2009. – 205 с.

Андон Ф.И., Дорошенко А.Е., Цейтлин Г.Е., Яценко Е.А. Алгебро-алгоритмические модели и методы параллельного

программирования. – Киев: Академпериодика, 2007. – 634 с.

Ільман В.М., Скалозуб В.В. Інтервальні об’єкти та їх граматичні структури // Вісник Дніпропетровського національного університету – 2010. – Вип. 29. – С. 131–144.

Albert J. Algebraic properties of bag data types // Severenteenth International Conference on Very Large Data Bases. – Barcelona, Spain, 1991. – P. 211–219.

Singh D., Ibrahim A.M., Yohanna T., Singh J. An Overview of the Applications of Multiset // Novi Sad Journal of Mathematics. – 2007. –

Vol. 37, N 2. – P. 73–92.

Syropoulos A. Mathematic of Multisets // Multiset Processing: Mathematical, Computer Science and Molecular Computing Points of

View, Number 2235 in Lecture Notes in Comuting Since. – Berlin: Springer-Verlag, 2001. – P. 347 – 358.


Refbacks

  • There are currently no refbacks.