Формализация и представление исходной задачи в виде, пригодном для автоматизированного поиска решения компьютерной системой.


7 публикаций

Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.

Об аналоге задачи Гельфонда для представлений Цекендорфа
РЕШЕНИЕ ЗАДАЧИ РОБАСТНОЙ СТАБИЛИЗАЦИИ НЕОПРЕДЕЛЕННОГО ОБЪЕКТА В ДЕКЛАРАТИВНОЙ ПОСТАНОВКЕ
Новгородское медиаполе в представлении социальных и культурных задач региона
S-символьная среда искусственного интеллекта
ДЕКЛАРАТИВНАЯ И ПРОЦЕДУРНАЯ ЧАСТИ КОНЦЕПТУАЛЬНОЙ ДИАГНОСТИЧЕСКОЙ МОДЕЛИ ТЕХНИЧЕСКИХ СИСТЕМ1
НЕСТАНДАРТНЫЕ ЗАДАЧИ КАК СРЕДСТВО РАЗВИТИЯ ПРОСТРАНСТВЕННЫХ ПРЕДСТАВЛЕНИЙ У МЛАДШИХ ШКОЛЬНИКОВ
ПРОБЛЕМЫ МАТЕМАТИЧЕСКОГО РАЗВИТИЯ ДОШКОЛЬНИКОВ В ПСИХОЛОГО-ПЕДАГОГИЧЕСКОЙ ЛИТЕРАТУРЕ