Формализация: алгоритмический подход

Інші назви: Formalization: algorithmic approach

Тема: Теоретичні та методологічні основи програмування

УДК: 530.12
519.95

Посилання: Формализация: алгоритмический подход / А.И. Провотар // Пробл. програмув. — 2008. — N 2-3. — С. 37-40. — Бібліогр.: 10 назв. — рус.

Дата: 2008

Завантажень: 1767

Рассматриваются вопросы формализации задач из различных предметных областей. Предлагается алгоритмический подход к формализации.

Questions of formalization of problems from various subject domains are considered. The algorithmic approach to formalization is proposed.

Файли у цій статті

Name: #1_D34-c37.pdf

Розмір: 144.4Кб

Формат: PDF

Проблеми програмування, 2008, № 2-3 [101]
Матеріали шостої міжнародної науково-практичної конференції з програмування УкрПРОГ'2008, 27-29 травня 2008 р., Україна, Київ