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

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

МанаковаоіМанакова, О. І.
    Редукційне програмування рекурентних послідовностей [Текст] / О.І. Манакова // Вісник Київського університету. — Київ, 2000. — 2000. — С. 295-299.

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

редукційне програмування

- Анотація:

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

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

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

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



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