Kapitonova Yu. Algorithm ochevidnosti'2000 (project) / Yu. Kapitonova, A. Letichevsky, M. Morokhovets, A. Lyaletski // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 68-70. - Библиогр.: 15 назв. - англ.Описывается проект "Алгоритм Очевидности'2000" как новый уровень понимания программы "Алгоритм Очевидности", инициированной В. Глушковым в начале 60-х годов. Этот проект ориентирован на подключение к международной математической деятельности по эффективному решению следующих задач: распределенное автоматизированное доказательство теорем, проверка корректности математических текстов, удаленное обучение математическим дисциплинам, извлечение знаний из математических работ, построение баз знаний для математических теорий. Ключ. слова: Індекс рубрикатора НБУВ: В1 + З973-018
Рубрики:
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|