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

Інформація × Реєстраційний номер 0201U004529, 0197U003171 , Науково-дослідна робота Назва роботи Дослідження та теоретичне обґрунтування принципів проведення на ЕОМ логіко-алгебраїчних побудов у формальних теоріях Назва етапу роботи Керівник роботи Бєлов Ю.А.,, Дата реєстрації 03-04-2001 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Розроблені та теоретично обґрунтовані принципи побудови як секвенціальних числень для автоматизованого пошуку доведень теорем на базі цілісного математичного тексту та логіко-алгебраїчних засобів розв'язування задач в аксіоматичних теоріях, так і формальних теорій з елементами нечіткості та невизначеності Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити