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

Інформація × Реєстраційний номер 0101U002163, ( 0206U000088  ) Науково-дослідна робота Назва роботи Логiко-математичнi та програмологiчнi засоби iнформацiйних технологiй Керівник роботи Редько Володимир Никифорович, Дата реєстрації 26-03-2001 Організація виконавець Київський національний університет імені Тараса Шевченка Опис роботи Розробка принципiв логiко-математичного перетворення комп'ютерних знань на базi машинно-орiєнтованих дедуктивних систем; дослiдження теоретико-можливiсних пiдходiв до алгебри нечiтких предикатiв, а також для задач аналiзу та iнтерпретацiї вимiрювань. Побудова та дослiдження адекватних моделей загальнозначних семантичних структур сучасних iнформацiйних технологiй. Такi моделi повиннi бути формальними - будуватись на логiко-математичнiй основi - та експлiкативними. Методологiчна основа дослiджень - експлiкативне програмування, закладене у роботах В.Н.Редька. Проведенi дослiдження закладуть основи програмологiї. Це дасть змогу перетворити програмування з iнженерiї в науку. Додано в НРАТ 2024-12-11 Закрити