Зведений каталог бібліотек Києва

 

РоссадатвРоссада, Т. В.
    Аналіз, моделювання та дослідження синонімії у формальних мовах [Текст] / Т.В. Россада // Вісник Київського національного університету імені Тараса Шевченка. — Київ, 2014. — 2014. — С. 227-232.


- Ключові слова:

мови програмування, языки программирования, computer program language

- Анотація:

У статті вводиться формальне визначення відношення синонімії на множині номінативних множин та номінативних даних. Доводиться стійкість програм над номінативними даними щодо відношення синонімії.

Formal definition of synonymy relation on the set of nominative sets and data is introduced. Stability of programs of nominative data under synonymy relation is proved.

- Є складовою частиною документа:

- Теми документа

  • Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка   Перейти на сайт