Знайдено документів: 1
Інформація × Реєстраційний номер 0211U002741, 0109U005041 , Науково-дослідна робота Назва роботи "Автоматизація обробки математичних знань в природничому стилі" Назва етапу роботи Керівник роботи Анісімов Анатолій Васильович, Доктор фізико-математичних наук Дата реєстрації 23-02-2011 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Розроблена методологія, теоретичні засади та програмні засоби автоматизації дедукції для природного комп'ютерного асистування в математиці та інших наукових дисциплінах. Подальший розвиток натуральної форми представлення математичних знань з використанням онтологій та розвиток потужних методів пошуку логічного висновку в класичній і некласичній логіках. Опис продукції Розроблена методологія, теоретичні засади та програмні засоби автоматизації дедукції для природного комп'ютерного асистування в математиці та інших наукових дисциплінах, придатних для формалізації. Результатом цих досліджень стала розробка Системи Автоматизованої Дедукції, САД. Подальший розвиток натуральної форми представлення математичних знань з використанням онтологій та розвиток потужних методів пошуку логічного висновку як в класичній, так і некласичній логіках. Автори роботи Анісімов Анатолій Васильович Лялецький О.О. Лялецький Олександр Вадимович Нікітченко Н.С. Додано в НРАТ 2020-04-02 Закрити
НДДКР ОК
"Автоматизація обробки математичних знань в природничому стилі"
Керівник: Анісімов Анатолій Васильович. "Автоматизація обробки математичних знань в природничому стилі". (Етап: ). Київський національний університет імені Тараса Шевченка. № 0211U002741
Знайдено документів: 1

Оновлено: 2026-03-18


Роздрукувати цю сторінку