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

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

МанаковаоіМанакова, О. І.
    Редукційне програмування функцій, зображених рекурентними співвідношеннями першого порядку [Текст] / О.І. Манакова // Вісник Київського університету. — Київ, 1999. — 1999. — С. 195-199.

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

конструювання програм, конструирование програм ; редукційне програмування

- Анотація:

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

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

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

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



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