|
Навигация: ![]()
![]() Формализация задачи — описание задачи формальными средствами (символами математики и мате-матич. логики). Систему таких символов и правил обращения с ними называют формализмом данной науки. Он помогает производить логич. заключения, подсчеты и др. операции непосредственно с символами, формулами, выступающими как бы заместителями тех понятий, к-рыми мы оперируем. Нередко одна и та же формула применяется для описания разных явлений. Поэтому формализов. язык обязательно требует объяснения (интерпретации). Похожие статьи: Навигация: Статьи по теме:Главная → Справочник → Статьи → Блог → Форум |
|
|
|
Информационный сайт о строительных материалах и технологиях. Контакты: Никита Королёв - © 2008-2014 |
© Все права защищены.
Копирование материалов невозможно. |
|