Декларативные и процедурные знания: основы информатики