Формализованный

Формализованные знания (Explicit knowledge) по ГОСТ Р 53894-2010

Могут быть индивидуальными или коллективными. Данные знания кодируют объектами, словами, номерами, представляют в графической форме, в форме рисунков, спецификаций, учебников, процедур и т.п. Формализация знаний облегчает их восприятие [из 2.7 ГОСТ Р 53894-2010]

Формализованный язык по ГОСТ 22487-77

Совокупность исходных знаков, принятых за неделимые, и правил построения из них слов и словосочетаний.

Примечания

  1. Под словами понимают конечные последовательности, составленные из исходных знаков, принятых за неделимые.
  2. Под правильными словами (словосочетаниями) понимают слова (словосочетания), каждое из которых имеет определенное и единственное содержание (смысл).

[из 7 приложения 1 ГОСТ 22487-77]

Подписка на Формализованный