комп"ютерна алгебра, компьютерная алгебра ; конструювання програм, конструирование програм ; мови програмування, языки программирования, computer program language
У статті розглядається та формалізується такий аспект природних та формальних мов, як багатозначність денотату. Дослідження проводяться у рамках композиційно-номінативного підходу до програмування. Визначається мова програм SICON над даними з багатозначним іменуванням, досліджуються її властивості. Доводиться монотонність програм мови SICON відносно збагачення вхідних даних.
Polysemy, the aspect of natural and formal languages, is researched and formalized. Research is conducted in the framework of composition-nominative approach to programming. Programming language SICON over multi-valued nominative data is defined and its properties are investigated. Monotonicity of SICON programs with respect to data enrichment is proved.
