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

Інформація × Реєстраційний номер 0105U001346, ( 0207U008334  ) Науково-дослідна робота Назва роботи Розробити систему дедуктивних та індуктивних доведень теорем у математичному інформаційному середовищі Керівник роботи 1.Капітонова Юлія Володимирівна; 2.Летичевський Олександр Адольфович, Дата реєстрації 04-03-2005 Організація виконавець Інститут кібернетики імені В.М. Глушкова НАН України Опис роботи Створення та теоретичне обгрунтування ефективних дедуктивних та індуктивних методів верифікації теорем з математики та комп'ютерних програм з урахуванням сучасних вимог до якості та надійності програмного забезпечення ЕОМ. Додано в НРАТ 2024-12-11 Закрити