Абстрактная структура представляет собой формальный объект , который определяется набором законов, свойств и отношений таким образом , что логически , если не всегда исторически зависит от структуры условных событий, например, те , которые вовлекают физические объекты. Абстрактные структуры изучаются не только в логике и математике, но и в областях, которые их применяют, таких как информатика , и в исследованиях, которые их отражают, таких как философия (особенно философия математики ). Действительно, современная математика была определена в очень общем смысле как изучение абстрактных структур ( Бурбакигруппа: см. обсуждение там, по алгебраической структуре, а также по структуре).
Абстрактная структура может быть представлена (возможно, с некоторой степенью приближения) одним или несколькими физическими объектами - это называется реализацией или экземпляром абстрактной структуры. Но сама абстрактная структура определяется способом, который не зависит от свойств какой-либо конкретной реализации.
Абстрактная структура имеет более богатую структуру, чем концепция или идея . Абстрактная структура должна включать точные правила поведения, которые можно использовать для определения того, действительно ли реализация кандидата соответствует рассматриваемой абстрактной структуре. Таким образом, мы можем спорить о том, насколько хорошо конкретное правительство соответствует концепции демократии , но нет места для споров о том, является ли данная последовательность ходов правильной игрой в шахматы.
Примеры
- Алгоритм сортировки является абстрактной структурой, но рецепт не является, потому что это зависит от свойств и количеств его компонентов.
- Простая мелодия - это абстрактная структура, а оркестровка - нет, потому что она зависит от свойств конкретных инструментов.
- Евклидова геометрия - абстрактная структура, но теория дрейфа континентов - нет, потому что она зависит от геологии Земли .
- Формальный язык представляет собой абстрактную структуру, но естественный язык не является, потому что его правила грамматики и синтаксиса открыты для обсуждения и интерпретации.