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

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