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

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

НікітченкоНікітченко, Н. С.
    Алгебри еквітонних функцій та їх властивості [Текст] / Н.С. Нікітченко, С.С. Шкільняк // Вісник Київського університету імені Тараса Шевченка. — Київ : Київський університет, 1998. — 1998. — С. 222-232.

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

конструювання програм, конструирование програм ; мови програмування, языки программирования, computer program language

- Анотація:

Розглядаються узагальнення традиційних понять алгебри, гомоморфізму та n-арної функції, що враховують такі особливості програм, як часткову визначеність та широке використання іменування компонент даних. Для опису властивостей алгебр введених класів функцій запропонована мова композиційної логіки.

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

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

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



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