بنية مجردة

في الرياضيات والمجالات ذات الصلة، يُعدّ البناء المجرد طريقة لوصف مجموعة من الكائنات الرياضية والعلاقات بينها، مع التركيز على القواعد والخصائص الأساسية بدلاً من أي معنى أو مثال محدد. ^{[ 1 ] [ 2 ]}

على سبيل المثال، في لعبة كالشطرنج ، تحدد قواعد حركة القطع وتفاعلها بنية اللعبة، بغض النظر عما إذا كانت القطع مصنوعة من الخشب أو البلاستيك. وبالمثل، تحدد البنية المجردة إطارًا للأشياء والعمليات والعلاقات. تُدرس هذه البنى في حد ذاتها، كاشفةً عن مبادئ رياضية أساسية. وبينما قد يُمثل كائنٌ واقعي أو برنامج حاسوبي بنيةً مجردة، أو يُجسدها، أو يُنفذها ، فإن البنية نفسها موجودة كمفهوم مجرد، مستقل عن أي تمثيل محدد.

يُتيح هذا التجريد رؤية الأنماط المشتركة بين مجالات الرياضيات التي تبدو مختلفة، وتطبيق نفس المنطق والأدوات لتحليلها. لا تُدرس البنى المجردة في المنطق والرياضيات فحسب ، بل في المجالات التي تُطبقها، مثل علوم الحاسوب ورسومات الحاسوب ، وفي الدراسات التي تتناولها، كالفلسفة ( وخاصة فلسفة الرياضيات ).

يتمتع الهيكل المجرد ببنية أكثر ثراءً من المفهوم أو الفكرة . يجب أن يتضمن الهيكل المجرد قواعد سلوك دقيقة يمكن استخدامها لتحديد ما إذا كان التطبيق المرشح يطابق فعلاً الهيكل المجرد المعني، ويجب أن يكون خالياً من التناقضات . لذا، يمكننا مناقشة مدى ملاءمة حكومة معينة لمفهوم الديمقراطية ، ولكن لا مجال للنقاش حول ما إذا كانت سلسلة معينة من الحركات لعبة شطرنج صحيحة أم لا (على سبيل المثال، مناهج كاسباروف ).

• خوارزمية الفرز هي بنية مجردة، لكن الوصفة ليست كذلك، لأنها تعتمد على خصائص وكميات مكوناتها.
• اللحن البسيط هو بنية مجردة، لكن التوزيع الموسيقي ليس كذلك، لأنه يعتمد على خصائص آلات موسيقية معينة.
• الهندسة الإقليدية هي بنية مجردة، لكن نظرية الانجراف القاري ليست كذلك، لأنها تعتمد على جيولوجيا الأرض .
• اللغة الرسمية هي بنية مجردة، أما اللغة الطبيعية فليست كذلك، لأن قواعدها النحوية والصرفية مفتوحة للنقاش والتفسير.

• التجريد في علوم الحاسوب
• التجريد بشكل عام
• التجريد في الرياضيات
• كائن مجرد
• جهاز استنتاجي
• العلوم الرسمية
• البنية الرياضية