Формализация: алгоритмический подход
Завантаження...
Дата
Автори
Назва журналу
Номер ISSN
Назва тому
Видавець
Інститут програмних систем НАН України
Анотація
Рассматриваются вопросы формализации задач из различных предметных областей. Предлагается алгоритмический подход к формализации.
Questions of formalization of problems from various subject domains are considered. The algorithmic approach to formalization is proposed.
Questions of formalization of problems from various subject domains are considered. The algorithmic approach to formalization is proposed.
Опис
Теми
Теоретичні та методологічні основи програмування
Цитування
Формализация: алгоритмический подход / А.И. Провотар // Пробл. програмув. — 2008. — N 2-3. — С. 37-40. — Бібліогр.: 10 назв. — рус.