Abstraction - koyo

Wannan ra'ayi aka gabatar da Boethius matsayin wani translation daga Girkanci kalmar amfani da Aristotle. Tsokaci (fassara nufin "wãsa") - shi ne da shafi tunanin mutum rabuwa wasu jam'iyyun, dangantaka ko Properties na events da kuma abubuwa domin haskaka wasu daga cikin muhimman siffofin da kuma halaye. Similar kayayyaki ba zai iya yi analogues a wannan duniyar ta zahiri. Wannan shi ne hali da wasu ilmin lissafi tarbiyya. Abstraction - a kai tsaye sakamako na sama sharuddan. Duk da haka, shi riga wakiltar wani irin hanya na ilimi.

Abstraction - shi ne manufar ji

A ake ji wannan hanya nazarin canji model a cikin wasu tsarin (msl, IP). A wannan yanayin, dukan tsarin ne zuwa kashi abubuwa, waxanda suke da subsystems. Wato, da abstraction - wani aiki wanda ke haifar a cikin hadaddun model aka maye gurbinsu da wani Sauki, kasa bambanci hada da abubuwa da, ta haka ne, suke mafi m. A matsayin misali, kan aiwatar da maye gurbin high-definition video a kan wani low quality for azumi fayil aiki da kuma kaya.

Features da kuma matsayi a cikin jerin abstractions

Ambata cewa, gudanar da irin wannan bambanci aiki iya rubuce iyaka. Abstraction - a hanya, wanda bayan da aikace-aikace zuwa da goyon bayan wasu Properties, zaka iya samun wasu irin model. Duk da haka, wannan musamman iya sake aiki a cikin wannan hanyoyi. Irin hawan keke za a iya dubun. Alal misali, yana yiwuwa ya m wani daya rabo daga wani qaddara juna, da barin wasu canzawa, sa'an nan matsawa zuwa gaba zaba yanki. A sakamakon haka, to takaita bayanan a cikin guda "itace". Ga kowane model, za ka iya samun abin da ake kira sarari abstractions, wanda shi ne mai tarin sets da umarnin a kayyade dokoki. A gaskiya, ba shakka, iyaka rarraba dukan tãtsuniyõyi dõmin kada ta kasance. Saboda haka, magana game da wata iyaka yawan model, samu daga asali samfur, da ake kira "m matsayi sarkar."

bugawa Concepts

Abstraction - ne ilimi da bukata, a lokacin da ka bukatar ka sami bambance-bambance tsakanin takamaiman abu da kuma yanayi na matsalolin da dangantaka da shi. Alal misali, a mutumin da yake ganin da dutsen a matsayin sa na lissafi siffofin.

Duk da haka, dole ne a typed abstraction da irin:

• generalizing cewa yana da wani m image sabon abu. a sakamakon, za ka iya gane kowa kaddarorin da karatu model.
• idealizing - sauyawa daga cikin empirical real sabon abu m manufa makirci.
• zahiri iyaka abstraction - kayyade kowane iyaka kashi na sa (la'akari da su a matsayin karshen).
• Insulating - selection na gwajin abu ko da ake bukata yanayi na kirki, misali, Occam ta reza .
• sanyata - "coarsening" iyakoki na real abu, mai shagala daga rashin tabbas.

Wannan mas'ala ta "abstraction" kuma za a iya typed da kuma manufofin:

• m - kadaici da muhimmanci Properties domin kara bincike.
• m - zabin da m halaye.

m Concepts

Concretization da abstraction - da sharuddan, magana game da wanda yake shi ne kusan ba zai yiwu a raba. Wadannan matsalolin ne kishiya ga juna. Don canjawa da rangadi zuwa na gaba matakin na abstraction wajibi ne a yi amfani da hanyoyin for tantancewa Ingancin selection kebantu na asali sa. Wannan ya sa ya yiwu ba ga rasa dangane da samfur.