Abstrakt struktur
En abstrakt struktur är en abstraktion som kan vara av de geometriska utrymmena eller en uppsättning struktur, eller en hypostatisk abstraktion som definieras av en uppsättning matematiska satser och lagar, egenskaper och samband på ett sätt som är logiskt om inte alltid historiskt oberoende av struktur av betingade upplevelser, till exempel de som involverar fysiska föremål. Abstrakta strukturer studeras inte bara i logik och matematik utan inom de områden som tillämpar dem, som datavetenskap och datorgrafik , och i de studier som reflekterar över dem, såsom filosofi (särskilt matematikens filosofi ). I själva verket har modern matematik definierats i en mycket allmän mening som studiet av abstrakta strukturer (av Bourbaki -gruppen: se diskussionen där, vid algebraisk struktur och även struktur).
En abstrakt struktur kan representeras (kanske med någon grad av approximation) av ett eller flera fysiska objekt – detta kallas en implementering eller instansiering av den abstrakta strukturen. Men den abstrakta strukturen i sig definieras på ett sätt som inte är beroende av egenskaperna hos någon speciell implementering.
En abstrakt struktur har en rikare struktur än ett koncept eller en idé . En abstrakt struktur måste innehålla exakta beteenderegler som kan användas för att avgöra om en kandidatimplementering faktiskt matchar den abstrakta strukturen i fråga, och den måste vara fri från motsägelser . Således kan vi diskutera hur väl en viss regering passar in i begreppet demokrati , men det finns inget utrymme för debatt om huruvida en given sekvens av drag är eller inte är ett giltigt schackspel (till exempel kasparoviska tillvägagångssätt).
Exempel
- En sorteringsalgoritm är en abstrakt struktur, men ett recept är det inte, eftersom det beror på egenskaperna och mängden av dess ingredienser.
- En enkel melodi är en abstrakt struktur, men en orkestrering är det inte, eftersom den beror på egenskaperna hos särskilda instrument.
- Euklidisk geometri är en abstrakt struktur, men teorin om kontinentaldrift är det inte, eftersom den beror på jordens geologi .
- Ett formellt språk är en abstrakt struktur, men ett naturligt språk är det inte, eftersom dess grammatik- och syntaxregler är öppna för debatt och tolkning.
Anteckningar
- ^ Men historiska beroenden betraktas delvis i händelseteori som en del av kombinatorikteorin i Kolmogorovs komplexitet och Kolmogorov-Khinchins ekvationer
Se även
- Abstraktion inom datavetenskap
- Abstraktion i allmänhet
- Abstraktion i matematik
- Abstrakt objekt
- Deduktiv apparat
- Formella vetenskaper
- Matematisk struktur