Предложен подход к построению системы знаний информатики в человеко-автоматной среде как средству формализованного представления научных результатов. Изложены основы концепции методологии построения и применения этой системы. Методология изучается как научное основание технологий автоматизации научных исследований, проектирования и образовательных процессов.
символьная модель, человеко-автоматная среда, система знаний, символьное моделирование в человеко-автоматной среде