Моделирование

урок информатики
Введение
Объекты
Моделирование
формализация
 
словарь
 

Основной тезис формализации

Основной тезис формализации: существует принципиальная возможность разделения объекта и его обозначения.

Суть объекта не меняется от того, как мы его назовём. Это значит, что мы можем называть его как угодно. придать его имени любую форму. которая. по нашему мнению. лучше соответствует даному объекту.

Знаk - это элемент конечного множества отличных друг от друга элементов.

Знаковая ситуация возникает, когда есть пара: обозначаемый объект (денотат) и знак.

Основные черты знака, проявляющиеся в знаковых ситуациях:

  1. способность знака выступать в качестве заместителя денотата.
  2. нетождественность знака и денотата: знак никогда не может полностью заменить обозначаемое.
  3. многозначтость соответствия "знак - денотат".
  4. Язык - знаковая система, используемая для целей коммуникации, познания.

Языки бывают естественные и искусственные.

Каждый язык имеет алфавит, словарь и обладает набором определённых правил образования выражений, правил придания значений (смысла)этим выражениям и правил их использования.

Язык характеризуется:

  • набором используемых знаков
  • правилами образования из э
  • тих знаков таких языковых конструкции, как слова, фразы и тексты (в шировом толковании этих понятий)
  • набором синтаксических, сематических и прагматических правил использования языковых конструкций.

Алфавит - это набор знаков, используемых в языке.

Правила искусственного языка определяются строго и однозначно определёнными, а потому такой язык называется формализованным