| dbo:abstract
|
- تُعد البنية المجردة في الرياضيات كائنًا شكليًا ويتم تعريفها من خلال مجموعة من القوانين والخصائص والعلاقات بطريقة منطقية إن لم تكن دائمًا مستقلة تاريخيًا لبنية التجارب المشروطة، مثل تلك التي تشمل أشياء مادية. ولا تتم دراسة البنى المجردة في المنطق والرياضيات فقط ولكن في المجالات التي تطبقها، مثل علم الحاسوب وفي الدراسات التي تنعكس عليها، مثل الفلسفة وخاصة فلسفة الرياضيات. وفي الواقع، تم تعريف الرياضيات الحديثة في المفهوم العام جدًا بأنها دراسة البنى المجردة (من قبل مجموعة بورباكي: راجع المناقشة هناك، في البنية الجبرية وأيضًا البنية). ويمكن تمثيل البنية المجردة (ربما مع القليل من درجة التقريب) من خلال واحد أو أكثر من الأشياء المادية - وهذا ما يسمى بتنفيذ أو تجسيد البنية المجردة. ولكن تعرف البنية المجردة نفسها بطريقة لا تعتمد على خصائص أي تنفيذ معين. تمتلك البنية المجردة بنية أكثر ثراءً من مفهوم أو فكرة. ويجب أن تتضمن البنية المجردة قواعد محددة للسلوك والتي يمكن استخدامها لتحديد ما إذا كان تنفيذ بنية مرشحة يتوافق مع البنية المجردة المعنية. وبالتالي، فإننا قد نناقش مدى ملاءمة حكومة معينة مع مفهوم الـديموقراطية، ولكن ليس هناك مجال للنقاش حول ما إذا كان تسلسل معين من التحركات يعد لعبة شطرنج صحيحة أم غير صحيحة. (ar)
- An abstract structure is an abstraction that might be of the geometric spaces or a set structure, or a hypostatic abstraction that is defined by a set of mathematical theorems and laws, properties and relationships in a way that is logically if not always historically independent of the structure of contingent experiences, for example, those involving physical objects. Abstract structures are studied not only in logic and mathematics but in the fields that apply them, as computer science and computer graphics, and in the studies that reflect on them, such as philosophy (especially the philosophy of mathematics). Indeed, modern mathematics has been defined in a very general sense as the study of abstract structures (by the Bourbaki group: see discussion there, at algebraic structure and also structure). An abstract structure may be represented (perhaps with some degree of approximation) by one or more physical objects – this is called an implementation or instantiation of the abstract structure. But the abstract structure itself is defined in a way that is not dependent on the properties of any particular implementation. An abstract structure has a richer structure than a concept or an idea. An abstract structure must include precise rules of behaviour which can be used to determine whether a candidate implementation actually matches the abstract structure in question, and it must be free from contradictions. Thus we may debate how well a particular government fits the concept of democracy, but there is no room for debate over whether a given sequence of moves is or is not a valid game of chess (for example Kasparovian approaches). (en)
|
| dbo:wikiPageID
| |
| dbo:wikiPageInterLanguageLink
| |
| dbo:wikiPageLength
|
- 3180 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- تُعد البنية المجردة في الرياضيات كائنًا شكليًا ويتم تعريفها من خلال مجموعة من القوانين والخصائص والعلاقات بطريقة منطقية إن لم تكن دائمًا مستقلة تاريخيًا لبنية التجارب المشروطة، مثل تلك التي تشمل أشياء مادية. ولا تتم دراسة البنى المجردة في المنطق والرياضيات فقط ولكن في المجالات التي تطبقها، مثل علم الحاسوب وفي الدراسات التي تنعكس عليها، مثل الفلسفة وخاصة فلسفة الرياضيات. وفي الواقع، تم تعريف الرياضيات الحديثة في المفهوم العام جدًا بأنها دراسة البنى المجردة (من قبل مجموعة بورباكي: راجع المناقشة هناك، في البنية الجبرية وأيضًا البنية). (ar)
- An abstract structure is an abstraction that might be of the geometric spaces or a set structure, or a hypostatic abstraction that is defined by a set of mathematical theorems and laws, properties and relationships in a way that is logically if not always historically independent of the structure of contingent experiences, for example, those involving physical objects. Abstract structures are studied not only in logic and mathematics but in the fields that apply them, as computer science and computer graphics, and in the studies that reflect on them, such as philosophy (especially the philosophy of mathematics). Indeed, modern mathematics has been defined in a very general sense as the study of abstract structures (by the Bourbaki group: see discussion there, at algebraic structure and al (en)
|
| rdfs:label
|
- بنية مجردة (ar)
- Abstract structure (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
