Россада Т. В. Формалізація, дослідження та застосування методів номінації у мовах специфікації програм.

Метою даної роботи є аналіз, формалізація та дослідження тих властивостей номінації, які використовуються на сьогоднішній день у мовах специфікацій (та програмування), але не вкладаються в рамки класичної теорії номінації. Побудовано та досліджено номінативні моделі даних, в яких представлені структурованість імен, полісемія, синонімія, непряма адресація, толерантність. Запропоновано семантичні інтерпретації композиційно-номінативної мови виконуваних специфікацій SiCoN над введеними моделями даних. Для побудованих моделей доведено стабільність специфікацій розширеної мови SiCoN над даними із синонімією щодо заміни даних на синонімічно-еквівалентні; стабільність специфікацій розширеної мови SiCoN над даними із багатозначним іменуванням та полісемією щодо заміни даних на еквівалентні; монотонність специфікацій розширеної мови SiCoN відносно збагачення вхідних даних із багатозначним іменуванням та полісемією; збереження специфікаціями мови SiCoN еквівалентності, що базується на початковій еквівалентності базових значень із багатозначним іменуванням. Визначено логіки предикатів над даними з непрямою адресацією та даними з відношенням толерантності. Розроблено модуль для роботи з реляційними номінативними даними, що включає основні функції для роботи з ними. Результати роботи впроваджуються у навчальний процес, вони можуть застосовуватись при розробці інформаційних та програмних систем.