Abstraktní struktura - Abstract structure

An abstraktní struktura je formální objekt který je definován souborem zákonů, vlastností a vztahů způsobem, který je logicky, ne-li vždy, historicky nezávislý na struktuře náhodných zážitků, například těch, které zahrnují fyzické objekty. Abstraktní struktury jsou studovány nejen v logika a matematika ale v polích, která je používají, jako počítačová věda, a ve studiích, které o nich uvažují, jako např filozofie (zejména filozofie matematiky ). Moderní matematika byla ve skutečnosti definována ve velmi obecném smyslu jako studium abstraktních struktur ( Bourbaki skupina: viz diskuse tam, na algebraická struktura a také struktura).

Abstraktní struktura může být reprezentována (možná s určitým stupněm aproximace) jedním nebo více fyzickými objekty - toto se nazývá implementace nebo instance abstraktní struktury. Samotná abstraktní struktura je ale definována způsobem, který nezávisí na vlastnostech konkrétní implementace.

Abstraktní struktura má bohatší strukturu než a pojem nebo idea. Abstraktní struktura musí obsahovat přesná pravidla chování, která lze použít k určení, zda kandidátská implementace skutečně odpovídá dané abstraktní struktuře. Můžeme tedy diskutovat o tom, jak dobře konkrétní vláda odpovídá konceptu demokracie, ale není zde prostor pro debatu o tom, zda daná posloupnost tahů je či není platnou šachovou partií.

Příklady

Viz také