Пошук академічних текстів

Інформація × Реєстраційний номер 0303U003115, 0101U002163 , Науково-дослідна робота Назва роботи Логiко-математичнi та програмологiчнi засоби iнформацiйних технологiй Назва етапу роботи Дослідження методів обробки комп'ютерних знань, експлікативних логік 9027 Керівник роботи Редько Володимир Никифорович, Дата реєстрації 30-01-2003 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Розроблені логіко-математичні методи перетворення комп'ютерних знань - описаний алгоритм очевидності, мови ForTheL, ForTheL1, які забезпечують дедуктивні перетворення математичних текстів, задані дедуктивні методи логічного виведення. Побудовані та досліджені на абстрактному та іменному рівнях програмні алгебри рекурсій, які виступають моделями загально значних декларативних структур програм Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити